Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs

DOI10.1016/J.INS.2015.09.010MaRDI QIDQ2279733zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Petri netdiscrete event systemflexible manufacturing systemdeadlockliveness enforcing

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1302048 (Why is no real title available?)
• scientific article; zbMATH DE number 978521 (Why is no real title available?)
• scientific article; zbMATH DE number 1836363 (Why is no real title available?)
• An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming
• Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
• Deadlock prevention policy based on Petri nets and siphons
• 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
• Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
• Feedback control of Petri nets based on place invariants
• Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
• Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
• Necessary and sufficient liveness condition of GS³PR Petri nets
• On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
• On liveness and controlled siphons in Petri nets
• On structural minimality of optimal supervisors for flexible manufacturing systems
• On the enforcement of a class of nonlinear constraints on Petri nets
• Partial order reduction for checking soundness of time workflow nets
• Reasoning dynamic fuzzy systems based on adaptive fuzzy higher order Petri nets
• Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation
• Robustness of deadlock control for a class of Petri nets with unreliable resources
• Service net algebra based on logic Petri nets
• Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming

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)