Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
DOI10.1016/J.INS.2013.07.021zbMATH Open1321.90046OpenAlexW1990661455MaRDI QIDQ497950FDOQ497950
Authors: YuFeng Chen, Kamel Barkaoui, 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
Recommendations
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
- On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places
- Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
- On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
- scientific article; zbMATH DE number 1820096
- Maximally permissive supervisor synthesis based on a new constraint transformation method
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
Petri netdeadlock preventionflexible manufacturing system (FMS)lowest implementation costoptimal liveness-enforcing supervisor
Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
- Supervisory Control of a Class of Discrete Event Processes
- Feedback control of Petri nets based on place invariants
- Title not available (Why is that?)
- 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
- An Optimization Approach to Petri Net Monitor Design
- Liveness of an extended S\(^{3}\)PR
- Approximating the minimal sensor selection for supervisory control
- 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
- Title not available (Why is that?)
Cited In (11)
- 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
- Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
- Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
- On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places
- Sequential composition of linear systems' clans
- Deadlock and liveness characterization for a class of generalized Petri nets
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Model checking Petri nets with MSVL
This page was built for publication: Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q497950)
