On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets

DOI10.1109/TAC.2014.2362594zbMath1360.68630OpenAlexW2051994424MaRDI QIDQ2982676

V. Deverakonda, Ramavarapu S. Sreenivas

Publication date: 16 May 2017

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

Full work available at URL: https://doi.org/10.1109/tac.2014.2362594

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions

This page was built for publication: On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets