On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets
From MaRDI portal
Publication:2982676
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
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