Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources

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

zbMATH Keywords

Petri netflexible manufacturing systemcontrollerdeadlock control

Mathematics Subject Classification ID

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