Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement
DOI10.1007/S10626-008-0050-7zbMATH Open1169.93300OpenAlexW2067980691MaRDI QIDQ838995FDOQ838995
Authors: Francesco Basile, L. Recalde, Pasquale Chiacchio, Manuel Silva 
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
Recommendations
- scientific article; zbMATH DE number 1836366
- On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
- Forbidden state avoidance controller synthesis for Petri nets
- Supervisory control of marked graphs with partial observations
- Linear control of live marked graphs
generalized mutual exclusion constraintsupervisory controlmarked graphsclosed-loop livenessmonitor places
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)
Cites Work
- A survey of Petri net methods for controlled discrete event systems
- Feedback control of Petri nets based on place invariants
- Supervisory control of concurrent systems. A Petri net structural approach.
- Title not available (Why is that?)
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- Title not available (Why is that?)
- Synthesis of feedback control logic for a class of controlled Petri nets
- Combinatorial optimization in geometry
- Design of T-liveness enforcing supervisors in petri nets
Cited In (4)
- Title not available (Why is that?)
- Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets
- Petri net controllers for generalized mutual exclusion constraints with floor operators
- 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: Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q838995)
