Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources
From MaRDI portal
Publication:2279729
DOI10.1016/j.ins.2015.11.021zbMath1427.68206OpenAlexW2283668265MaRDI QIDQ2279729
HuiXia Liu, Weimin Wu, Zhenxing Zhang, Hong-Ye Su
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.11.021
Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources ⋮ Robust deadlock control of automated manufacturing systems with multiple unreliable resources ⋮ A multistep look-ahead deadlock avoidance policy for automated manufacturing systems ⋮ Modeling and control of flexible context-dependent manufacturing systems ⋮ A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
Cites Work
- On structural minimality of optimal supervisors for flexible manufacturing systems
- 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
- Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
- Approach for Transforming Linear Constraints on Petri Nets
- Unnamed Item
- Unnamed Item
This page was built for publication: Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources