Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
From MaRDI portal
Publication:2279735
DOI10.1016/J.INS.2015.11.003zbMATH Open1427.68216OpenAlexW2205586271MaRDI QIDQ2279735FDOQ2279735
Authors: ShouGuang Wang, Dan You, Chengying 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
Recommendations
- Supervisor synthesis of Petri net with uncontrollable transitions
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
- Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri nets
- Optimal Petri-net supervisor synthesis based on constraint transformation
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions
- The synthesis of Petri nets controller for general inequality constraints with uncontrollable transitions
- Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Depth-First Search and Linear Graph Algorithms
- A survey of Petri net methods for controlled discrete event systems
- 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]
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- Feedback Control Logic for Backward Conflict Free Choice Nets
- Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- Synthesis of feedback control logic for a class of controlled Petri nets
- Control of vector discrete-event systems. II. Controller synthesis
- Synthesis of supervisors enforcing general linear constraints in petri nets
- Control of vector discrete-event systems. I. The base model
- A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
- Termination Properties of Generalized Petri Nets
- Title not available (Why is that?)
- Supervisory control of deterministic Petri nets with regular specification languages
- Net structure and control logic synthesis of controlled Petri nets
- Structuring acyclic Petri nets for reachability analysis and control
- Control synthesis of Petri nets based on \(S\)-decreases
- 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
- Decentralized Supervision of Petri Nets
- Controller synthesis with highly simplified linear constraints
- Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places
Cited In (7)
- 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
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions
- Optimal Petri-net supervisor synthesis based on constraint transformation
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination
- Title not available (Why is that?)
This page was built for publication: Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279735)
