Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors
المؤلفون المشاركون
Hong, Liang
Hou, YiFan
Jing, JunFeng
Wang, AnRong
Litvin, Dmitry A.
المصدر
Discrete Dynamics in Nature and Society
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-15، 15ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-12-01
دولة النشر
مصر
عدد الصفحات
15
التخصصات الرئيسية
الملخص EN
This work develops an iterative deadlock prevention method for a special class of Petri nets that can well model a variety of flexible manufacturing systems.
A deadlock detection technique, called mixed integer programming (MIP), is used to find a strict minimal siphon (SMS) in a plant model without a complete enumeration of siphons.
The policy consists of two phases.
At the first phase, SMSs are obtained by MIP technique iteratively and monitors are added to the complementary sets of the SMSs.
For the possible existence of new siphons generated after the first phase, we add monitors with their output arcs first pointed to source transitions at the second phase to avoid new siphons generating and then rearrange the output arcs step by step on condition that liveness is preserved.
In addition, an algorithm is proposed to remove the redundant constraints of the MIP problem in this paper.
The policy improves the behavioral permissiveness of the resulting net and greatly enhances the structural simplicity of the supervisor.
Theoretical analysis and experimental results verify the effectiveness of the proposed method.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Hong, Liang& Hou, YiFan& Jing, JunFeng& Wang, AnRong& Litvin, Dmitry A.. 2015. Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors. Discrete Dynamics in Nature and Society،Vol. 2015, no. 2015, pp.1-15.
https://search.emarefa.net/detail/BIM-1060685
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Hong, Liang…[et al.]. Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors. Discrete Dynamics in Nature and Society No. 2015 (2015), pp.1-15.
https://search.emarefa.net/detail/BIM-1060685
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Hong, Liang& Hou, YiFan& Jing, JunFeng& Wang, AnRong& Litvin, Dmitry A.. Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors. Discrete Dynamics in Nature and Society. 2015. Vol. 2015, no. 2015, pp.1-15.
https://search.emarefa.net/detail/BIM-1060685
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1060685
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر