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

DOI10.1016/J.INS.2015.11.021MaRDI QIDQ2279729zbMATH OpenOpenAlexFDO

Authors HuiXia Liu, Weimin Wu, Zhenxing Zhang, Hongye 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)

Recommendations

• On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
• scientific article; zbMATH DE number 1300107
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
• An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets
• A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models

Cites work

• scientific article; zbMATH DE number 2221543 (Why is no real title available?)
• A system theory view of Petri nets
• Approach for Transforming Linear Constraints on Petri Nets
• Deadlock prevention policy based on Petri nets and siphons
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
• On structural minimality of optimal supervisors for flexible manufacturing systems
• Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis

Cited in

(12)

• The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets
• Robust deadlock control of automated manufacturing systems with multiple unreliable resources
• Deadlock and blockage control of automated manufacturing systems with an unreliable resource
• Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources
• A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
• scientific article; zbMATH DE number 1156812 (Why is no real title available?)
• An Optimal Vanishing Point Detection Method with Error Analysis
• Solving resource contention problem in FMS using Petri nets and a rule-based approach
• A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
• scientific article; zbMATH DE number 5951866 (Why is no real title available?)
• Modeling and control of flexible context-dependent manufacturing systems
• Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems

This page was built for publication: Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279729)