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

DOI10.1109/TAC.2017.2677859zbMath1373.93219MaRDI QIDQ4589486

ShouGuang Wang, Dan You, Meng Chu Zhou

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)

Related Items (1)

Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions

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