On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets
From MaRDI portal
Publication:1391343
DOI10.1016/S0167-6911(97)00019-4zbMath0901.93001MaRDI QIDQ1391343
Publication date: 22 July 1998
Published in: Systems \& Control Letters (Search for Journal in Brave)
Hierarchical systems (93A13) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Cites Work
This page was built for publication: On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets