A new deadlock prevention method for a Petri net modeling the functionality of a hospital

MaRDI QIDQ2835151zbMATH OpenFDO

Authors Timotei Asaftei

Publication date 1 December 2016

Published in Buletinul Institutului Politehnic din Iași. Secția Automatică și Calculatoare (Search for Journal in Brave)

zbMATH Keywords

deadlock preventionminimal siphonspruning graphpruning relationS3PR nets

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Production models (90B30) Discrete event control/observation systems (93C65)

Recommendations

• Deadlock prevention policy based on Petri nets and siphons
• scientific article; zbMATH DE number 561087
• A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
• An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets
• A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
• Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems
• Deadlock analysis and control using Petri net decomposition techniques
• Time based deadlock prevention for Petri nets
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources

This page was built for publication: A new deadlock prevention method for a Petri net modeling the functionality of a hospital

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