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

DOI10.1016/j.ins.2015.08.016zbMath1427.68187OpenAlexW1610386828MaRDI QIDQ2279726

Hefeng Chen, NaiQi Wu, Meng Chu 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

Petri netdeadlock preventionautomated manufacturing system

Mathematics Subject Classification ID

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

Related Items (6)

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 ⋮ 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 ⋮ Inference approach based on Petri nets ⋮ Deadlock and liveness characterization for a class of generalized Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Design and implementation of a Petri net based supervisor for a flexible manufacturing system
• Petri net synthesis and analysis of a flexible manufacturing system cell
• 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
• Symbolic analysis of bounded Petri nets
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources

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