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: | , , , |
|---|---|
| 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!
|
| _version_ | 1849400323691511808 |
|---|---|
| author | YiFan Hou Mi Zhao Ding Liu Liang Hong |
| author_facet | YiFan Hou Mi Zhao Ding Liu Liang Hong |
| author_sort | YiFan Hou |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-88c0a11ddce24cd0a2a278bf559d01e0 |
| institution | Kabale University |
| issn | 1026-0226 1607-887X |
| language | English |
| publishDate | 2016-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Discrete Dynamics in Nature and Society |
| spelling | doaj-art-88c0a11ddce24cd0a2a278bf559d01e02025-08-20T03:38:06ZengWileyDiscrete Dynamics in Nature and Society1026-02261607-887X2016-01-01201610.1155/2016/82194248219424An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri NetsYiFan Hou0Mi Zhao1Ding Liu2Liang Hong3School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, ChinaMachinery and Electricity College, Shihezi University, Xinjiang 832003, ChinaSchool of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, ChinaCollege of Electronics and Information, Xi’an Polytechnic University, Xi’an 710048, ChinaWe 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.http://dx.doi.org/10.1155/2016/8219424 |
| spellingShingle | YiFan Hou Mi Zhao Ding Liu Liang Hong An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets Discrete Dynamics in Nature and Society |
| title | An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets |
| title_full | An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets |
| title_fullStr | An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets |
| title_full_unstemmed | An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets |
| title_short | An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets |
| title_sort | efficient siphon based deadlock prevention policy for a class of generalized petri nets |
| url | http://dx.doi.org/10.1155/2016/8219424 |
| work_keys_str_mv | AT yifanhou anefficientsiphonbaseddeadlockpreventionpolicyforaclassofgeneralizedpetrinets AT mizhao anefficientsiphonbaseddeadlockpreventionpolicyforaclassofgeneralizedpetrinets AT dingliu anefficientsiphonbaseddeadlockpreventionpolicyforaclassofgeneralizedpetrinets AT lianghong anefficientsiphonbaseddeadlockpreventionpolicyforaclassofgeneralizedpetrinets AT yifanhou efficientsiphonbaseddeadlockpreventionpolicyforaclassofgeneralizedpetrinets AT mizhao efficientsiphonbaseddeadlockpreventionpolicyforaclassofgeneralizedpetrinets AT dingliu efficientsiphonbaseddeadlockpreventionpolicyforaclassofgeneralizedpetrinets AT lianghong efficientsiphonbaseddeadlockpreventionpolicyforaclassofgeneralizedpetrinets |