A survey of Petri net methods for controlled discrete event systems
From MaRDI portal
Publication:1360353
DOI10.1023/A:1008271916548zbMath0968.93053OpenAlexW2149030441MaRDI QIDQ1360353
Publication date: 17 July 1997
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008271916548
synthesissupervisory controlon-line computationdiscrete event systemslogical controllabeled Petri netsPetri nets modelsuntimed models
Discrete event control/observation systems (93C65) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (42)
Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues ⋮ Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement ⋮ Control of parameterized discrete event systems ⋮ Petri Nets Tracking Control for Electro-pneumatic Systems Automation ⋮ Trajectory encoding for systems with irregular observations ⋮ The evaluation of pedestrians' behavior using \(M/G/C/C\) analytical, weighted distance and real distance simulation models ⋮ Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places ⋮ Supervision based on place invariants: a survey ⋮ Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Control of \((max, +)\)-linear systems minimizing delays ⋮ Designing communicating transaction processes by supervisory control theory ⋮ Shrinking of time Petri nets ⋮ Controller synthesis for net condition/event systems with a solution for incomplete state observation ⋮ Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra ⋮ Matrix-based discrete event control for surveillance mobile robotics ⋮ On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets ⋮ Hardness Results for the Synthesis of b-bounded Petri Nets ⋮ Fixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri Nets ⋮ Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids ⋮ Unnamed Item ⋮ Fluctuation-driven computing on number-conserving cellular automata ⋮ Petri net languages and infinite subsets of \(\mathbb{N}^m\) ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Synthesis of controllers for symmetric systems ⋮ Structure and dynamics of acyclic networks ⋮ On the parameterized complexity of the synthesis of Boolean nets with restricted place environments ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Feedback control for a class of discrete event systems with critical time ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ Compositionally progressive solutions of synchronous FSM equations ⋮ Design of supervisors for linear marking specifications in labeled Petri nets ⋮ On fluidization of discrete event models: Observation and control of continuous Petri nets ⋮ Supervisory Control of Petri Nets with Language Specifications ⋮ Continuous Petri Nets: Controllability and Control ⋮ Observable liveness of Petri nets ⋮ The Complexity of Synthesis of b-Bounded Petri Nets ⋮ Synthesis of Petri nets with restricted place-environments: classical and parameterized
This page was built for publication: A survey of Petri net methods for controlled discrete event systems
