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

DOI10.1016/j.ins.2013.07.021zbMath1321.90046OpenAlexW1990661455MaRDI 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 netdeadlock preventionflexible manufacturing system (FMS)lowest implementation costoptimal liveness-enforcing supervisor

Mathematics Subject Classification ID

Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

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 ⋮ Deadlock and liveness characterization for a class of generalized Petri nets

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

This page was built for publication: Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems