An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets
المؤلفون المشاركون
Hong, Liang
Hou, YiFan
Zhao, Mi
Liu, Ding
المصدر
Discrete Dynamics in Nature and Society
العدد
المجلد 2016، العدد 2016 (31 ديسمبر/كانون الأول 2016)، ص ص. 1-12، 12ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2016-02-25
دولة النشر
مصر
عدد الصفحات
12
التخصصات الرئيسية
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1103607
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر