On deadlock control for a class of generalised Petri net models of flexible manufacturing systems

DOI10.1080/00207540802101945zbMath1198.90162OpenAlexW2116600824MaRDI QIDQ3055275

Mi Zhao, Zhiwu Li

Publication date: 7 November 2010

Published in: International Journal of Production Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207540802101945

zbMATH Keywords

Petri netflexible manufacturing systemdeadlock preventionnon-blockingelementary siphon

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Production models (90B30)

Related Items (3)

Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets ⋮ A survey of siphons in Petri nets ⋮ Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs

Uses Software

• INA

Cites Work

• Unnamed Item
• Deadlock prevention policy based on Petri nets and siphons
• A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
• 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

This page was built for publication: On deadlock control for a class of generalised Petri net models of flexible manufacturing systems