Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm

DOI10.1016/J.INS.2015.11.003MaRDI QIDQ2279735zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Petri netdiscrete event systemsupervisory controlforbidden state problem

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

Cites work

• scientific article; zbMATH DE number 1220172 (Why is no real title available?)
• A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
• A survey of Petri net methods for controlled discrete event systems
• Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
• Control of vector discrete-event systems. I. The base model
• Control of vector discrete-event systems. II. Controller synthesis
• Control synthesis of Petri nets based on \(S\)-decreases
• Controller synthesis with highly simplified linear constraints
• Decentralized Supervision of Petri Nets
• Depth-First Search and Linear Graph Algorithms
• Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
• 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
• 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
• Feedback control of Petri nets based on place invariants
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
• Net structure and control logic synthesis of controlled Petri nets
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places
• Structuring acyclic Petri nets for reachability analysis and control
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
• Supervisory control of deterministic Petri nets with regular specification languages
• Synthesis of feedback control logic for a class of controlled Petri nets
• Synthesis of supervisors enforcing general linear constraints in petri nets
• Termination Properties of Generalized Petri Nets

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
• scientific article; zbMATH DE number 1820092 (Why is no real title available?)

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)