Approach for Transforming Linear Constraints on Petri Nets
From MaRDI portal
Publication:5347911
DOI10.1109/TAC.2011.2128590zbMath1368.93382OpenAlexW2059933478MaRDI QIDQ5347911
Publication date: 25 August 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.2128590
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (10)
Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Compositional synthesis of supervisors in the form of state machines and state maps ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Programmable‐logical‐controllers Synthesis for Automated‐guided‐vehicle Systems Using Ordinary Petri Nets ⋮ Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets ⋮ Editorial: Deadlock analysis and control in resource allocation systems ⋮ Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources ⋮ 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: Approach for Transforming Linear Constraints on Petri Nets
