An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets
We propose a new deadlock prevention policy for an important class of resource allocation systems (RASs) that appear in the modeling of flexible manufacturing systems (FMSs). The model of this class in terms of generalized Petri nets is, namely, S4PR. On the basis of recent structural analysis resul...
Saved in:
| Main Authors: | YiFan Hou, Mi Zhao, Ding Liu, Liang Hong |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2016-01-01
|
| Series: | Discrete Dynamics in Nature and Society |
| Online Access: | http://dx.doi.org/10.1155/2016/8219424 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions
by: Amal Zaghdoud, et al.
Published: (2024-11-01) -
Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS)
by: Wiktor Daszczuk
Published: (2018-09-01) -
Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation
by: Miao Liu, et al.
Published: (2013-01-01) -
Dayton Deadlock
by: I. S. Morozov
Published: (2011-02-01) -
Review of hierarchy in Petri Nets
by: Michał Markiewicz, et al.
Published: (2025-07-01)