An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets
Joint Authors
Hong, Liang
Hou, YiFan
Zhao, Mi
Liu, Ding
Source
Discrete Dynamics in Nature and Society
Issue
Vol. 2016, Issue 2016 (31 Dec. 2016), pp.1-12, 12 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2016-02-25
Country of Publication
Egypt
No. of Pages
12
Main Subjects
Abstract EN
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 results related to the elementary siphons in generalized Petri nets on one hand and an efficient deadlock avoidance policy proposed for the class of conjunctive/disjunctive (C/D) RASs on the other hand, we show how one can generate monitors to be added to a net system such that all its strict minimal siphons are max′-controlled and no insufficiently marked siphon is generated.
Thereby, a new, simple, and more permissive liveness-enforcing supervisor synthesis method for S4PR is established.
American Psychological Association (APA)
Hou, YiFan& Zhao, Mi& Liu, Ding& Hong, Liang. 2016. An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets. Discrete Dynamics in Nature and Society،Vol. 2016, no. 2016, pp.1-12.
https://search.emarefa.net/detail/BIM-1103607
Modern Language Association (MLA)
Hou, YiFan…[et al.]. An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets. Discrete Dynamics in Nature and Society No. 2016 (2016), pp.1-12.
https://search.emarefa.net/detail/BIM-1103607
American Medical Association (AMA)
Hou, YiFan& Zhao, Mi& Liu, Ding& Hong, Liang. An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets. Discrete Dynamics in Nature and Society. 2016. Vol. 2016, no. 2016, pp.1-12.
https://search.emarefa.net/detail/BIM-1103607
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1103607