Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems

DOI10.1080/00207540500216854zbMath1122.93387OpenAlexW2012942645MaRDI QIDQ5712038

Frank DiCesare, Guido Maione

Publication date: 22 December 2005

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

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

zbMATH Keywords

Petri netsdigraphsdiscrete event systemsdeadlock preventionautomated manufacturing systems

Mathematics Subject Classification ID

Production models (90B30) Control/observation systems involving computers (process control, etc.) (93C83) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A survey of siphons in Petri nets

Cites Work

• Unnamed Item
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
• Feedback control of Petri nets based on place invariants
• A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
• An efficient real-time deadlock-free control algorithm for automated manufacturing systems
• Avoidance of deadlocks in flexible manufacturing systems using a capacity-designated directed graph
• A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
• Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
• A generalization of state avoidance policies for controlled Petri nets