On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets

DOI10.1109/TAC.2015.2398951zbMath1360.93438OpenAlexW2036718662MaRDI QIDQ2982576

Ebrahim Salimi, 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.2015.2398951

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Distributed systems (68M14)

This page was built for publication: On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets