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

zbMATH Open1363.90072MaRDI QIDQ2835151

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

• Title not available (Why is that?) 👍 👎
• Time based deadlock prevention for Petri nets 👍 👎
• Deadlock analysis and control using Petri net decomposition techniques 👍 👎
• A novel method for deadlock prevention of AMS by using resource-oriented Petri nets 👍 👎
• An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets 👍 👎
• Deadlock prevention policy based on Petri nets and siphons 👍 👎
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources 👍 👎
• Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems 👍 👎
• A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models 👍 👎

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)