Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
From MaRDI portal
Publication:2279735
DOI10.1016/J.INS.2015.11.003zbMath1427.68216OpenAlexW2205586271MaRDI QIDQ2279735
Dan You, Chengying Wang, ShouGuang Wang
Publication date: 13 December 2019
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2015.11.003
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Deadlock recovery for flexible manufacturing systems modeled with Petri nets ⋮ Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
Cites Work
- Unnamed Item
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
- 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
- Control synthesis of Petri nets based on \(S\)-decreases
- Feedback control of Petri nets based on place invariants
- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
- A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
- Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Control of vector discrete-event systems. I. The base model
- Controller Synthesis with Highly Simplified Linear Constraints
- Synthesis of feedback control logic for a class of controlled Petri nets
- Termination Properties of Generalized Petri Nets
- Control of vector discrete-event systems. II. Controller synthesis
- Net structure and control logic synthesis of controlled Petri nets
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Supervisory control of deterministic Petri nets with regular specification languages
- Synthesis of supervisors enforcing general linear constraints in petri nets
- Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system
- Decentralized Supervision of Petri Nets
- Feedback Control Logic for Backward Conflict Free Choice Nets
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
- Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms
- Depth-First Search and Linear Graph Algorithms
- Structuring acyclic Petri nets for reachability analysis and control
This page was built for publication: Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
