A new deadlock prevention method for a Petri net modeling the functionality of a hospital (Q2835151)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A new deadlock prevention method for a Petri net modeling the functionality of a hospital |
scientific article; zbMATH DE number 6658724
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A new deadlock prevention method for a Petri net modeling the functionality of a hospital |
scientific article; zbMATH DE number 6658724 |
Statements
1 December 2016
0 references
minimal siphons
0 references
deadlock prevention
0 references
S3PR nets
0 references
pruning relation
0 references
pruning graph
0 references
0.8714341
0 references
0.8656262
0 references
0.86154556
0 references
0.85774845
0 references
0.8531526
0 references
0.85281825
0 references
0.85018057
0 references
A new deadlock prevention method for a Petri net modeling the functionality of a hospital (English)
0 references
