Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
From MaRDI portal
Publication:2279733
DOI10.1016/J.INS.2015.09.010zbMATH Open1427.68212OpenAlexW2114399731MaRDI QIDQ2279733FDOQ2279733
Authors: Murat Uzam, Gökhan Gelen, Tahir Lawan Saleh 
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.09.010
Recommendations
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
- Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming
Production models (90B30) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Feedback control of Petri nets based on place invariants
- On the enforcement of a class of nonlinear constraints on Petri nets
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Deadlock prevention policy based on Petri nets and siphons
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Title not available (Why is that?)
- Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
- On liveness and controlled siphons in Petri nets
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
- Partial order reduction for checking soundness of time workflow nets
- Reasoning dynamic fuzzy systems based on adaptive fuzzy higher order Petri nets
- Service net algebra based on logic Petri nets
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
- Robustness of deadlock control for a class of Petri nets with unreliable resources
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
- Necessary and sufficient liveness condition of GS3PR Petri nets
- Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
- An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming
- Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
- Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation
Cited In (9)
- 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
- Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system
- Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions
- On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places
- On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
- Deadlock detection-oriented unfolding of unbounded Petri nets
- A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
This page was built for publication: Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279733)
