A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR

DOI10.1109/TAC.2017.2677859MaRDI QIDQ4589486zbMATH OpenFDO

Authors ShouGuang Wang, Dan You, MengChu Zhou

Publication date 10 November 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2017.2677859

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(2)

• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
• Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems

This page was built for publication: A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4589486)