A novel method for deadlock prevention of AMS by using resource-oriented Petri nets

DOI10.1016/J.INS.2015.08.016MaRDI QIDQ2279726zbMATH OpenOpenAlexFDO

Authors Hefeng Chen, NaiQi Wu, MengChu Zhou

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.08.016

zbMATH Keywords

automated manufacturing systemdeadlock preventionPetri net

Mathematics Subject Classification ID

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

Recommendations

• Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets
• Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources
• Deadlock prevention policy based on Petri nets and siphons
• Robustness of deadlock control for a class of Petri nets with unreliable resources
• Robust deadlock control of automated manufacturing systems with multiple unreliable resources

Cites work

• Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model
• Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
• Design and implementation of a Petri net based supervisor for a flexible manufacturing system
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• scientific article; zbMATH DE number 777433 (Why is no real title available?)
• scientific article; zbMATH DE number 920086 (Why is no real title available?)
• scientific article; zbMATH DE number 2221543 (Why is no real title available?)
• Introduction to algorithms.
• On structural minimality of optimal supervisors for flexible manufacturing systems
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Petri net synthesis and analysis of a flexible manufacturing system cell
• Symbolic analysis of bounded Petri nets

Cited in

(9)

• Comparison and evaluation of deadlock prevention methods for different size automated manufacturing systems
• Robust deadlock control of automated manufacturing systems with multiple unreliable resources
• Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets
• Inference approach based on Petri nets
• A distributed method to avoid higher-order deadlocks in multi-robot systems
• Petri net representation and reachability analysis of 0--1 integer linear programming problems
• A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
• A new deadlock prevention method for a Petri net modeling the functionality of a hospital
• Deadlock and liveness characterization for a class of generalized Petri nets

This page was built for publication: A novel method for deadlock prevention of AMS by using resource-oriented Petri nets

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