Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement

DOI10.1007/s10626-008-0050-7zbMath1169.93300OpenAlexW2067980691MaRDI QIDQ838995

Laura Recalde, Manuel Silva, Pasquale Chiacchio, Francesco Basile

Publication date: 1 September 2009

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-008-0050-7

zbMATH Keywords

supervisory controlgeneralized mutual exclusion constraintmarked graphsclosed-loop livenessmonitor places

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)

Related Items (2)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
• A survey of Petri net methods for controlled discrete event systems
• Combinatorial optimization in geometry
• Feedback control of Petri nets based on place invariants
• Supervisory control of concurrent systems. A Petri net structural approach.
• Synthesis of feedback control logic for a class of controlled Petri nets
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Design of T-liveness enforcing supervisors in petri nets

This page was built for publication: Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement