On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets

DOI10.1109/TAC.2020.2970060MaRDI QIDQ5853943

Hesuan Hu, Chen Chen, Arun Raman, Ramavarapu S. Sreenivas

Publication date: 12 March 2021

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

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (3)

Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets ⋮ Liveness enforcement for production systems modeled by time Petri nets ⋮ On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net

This page was built for publication: On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets