On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net

DOI10.1007/s10626-021-00340-6zbMath1478.93399OpenAlexW3140817529MaRDI QIDQ2058574

Roshanak Khaleghi, Ramavarapu S. Sreenivas

Publication date: 9 December 2021

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

Full work available at URL: https://doi.org/10.1007/s10626-021-00340-6

zbMATH Keywords

supervisory controlPetri netscontrol invarianceright-closed sets

Mathematics Subject Classification ID

Controllability (93B05) Discrete event control/observation systems (93C65)

Cites Work

• Unnamed Item
• Unnamed Item
• The residue of vector sets with applications to decidability problems in Petri nets
• Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement
• Reduction of constraints for controller synthesis based on safe Petri nets
• Defining liveness
• Supervisory control of concurrent systems. A Petri net structural approach.
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• Approach for Transforming Linear Constraints on Petri Nets
• On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets
• On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets
• Modular Feedback Logic for Discrete Event Systems

This page was built for publication: On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net