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

DOI10.1109/TAC.2011.2159883MaRDI QIDQ5352711zbMATH OpenFDO

Authors R. Sreenivas

Publication date 8 September 2017

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

Full work available at URL https://doi.org/10.1109/TAC.2011.2159883

Mathematics Subject Classification ID

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

Cited in

(7)

• On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net
• Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets
• Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets
• Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
• Design of T-liveness enforcing supervisors in petri nets
• Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5352711)