On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets

DOI10.1109/TAC.2011.2159883zbMath1369.93385MaRDI QIDQ5352711

Ramavarapu S. Sreenivas

Publication date: 8 September 2017

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

Mathematics Subject Classification ID

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

Related Items (3)

Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets ⋮ On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net ⋮ Supervisory Control of Petri Nets with Language Specifications

This page was built for publication: On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets