Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems

DOI10.1016/j.ins.2013.07.021zbMath1321.90046MaRDI QIDQ497950

Kamel Barkaoui, YuFeng Chen, Zhiwu Li

Publication date: 25 September 2015

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2013.07.021

zbMATH Keywords

Petri net; deadlock prevention; flexible manufacturing system (FMS); lowest implementation cost; optimal liveness-enforcing supervisor

Mathematics Subject Classification ID

90B30: Production models

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Deadlock and liveness characterization for a class of generalized Petri nets, Robust deadlock control of automated manufacturing systems with multiple unreliable resources, Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs, Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm, Model checking Petri nets with MSVL, Sequential composition of linear systems' clans

Cites Work

• Unnamed Item
• Unnamed Item
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Approximating the minimal sensor selection for supervisory control
• Liveness of an extended S\(^{3}\)PR
• Feedback control of Petri nets based on place invariants
• Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
• Deadlock prevention policy based on Petri nets and siphons
• Supervisory Control of a Class of Discrete Event Processes
• A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
• On liveness and controlled siphons in Petri nets
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
• An Optimization Approach to Petri Net Monitor Design