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

DOI10.1109/TAC.2017.2677859zbMATH Open1373.93219MaRDI QIDQ4589486FDOQ4589486

MengChu Zhou, ShouGuang Wang, Dan You

Publication date: 10 November 2017

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

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)