![](/images/graphics-bg.png)
Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems
المؤلفون المشاركون
al-Ahmari, Abdurahman
Abouel Nasr, Emad
El-Tamimi, Abdulaziz M.
Kaid, Husam
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-19، 19ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-09-16
دولة النشر
مصر
عدد الصفحات
19
التخصصات الرئيسية
الملخص EN
In automated manufacturing systems (AMSs), deadlocks problems can arise due to limited shared resources.
Petri nets are an effective tool to prevent deadlocks in AMSs.
In this paper, a simulation based on existing deadlock prevention policies and different Petri net models are considered to explore whether a permissive liveness-enforcing Petri net supervisor can provide better time performance.
The work of simulation is implemented as follows.
(1) Assign the time to the controlled Petri net models, which leads to timed Petri nets.
(2) Build the Petri net model using MATLAB software.
(3) Run and simulate the model, and simulation results are analyzed to determine which existing policies are suitable for different systems.
Siphons and iterative methods are used for deadlocks prevention.
Finally, the computational results show that the selected deadlock policies may not imply high resource utilization and plant productivity, which have been shown theoretically in previous publications.
However, for all selected AMSs, the iterative methods always lead to structurally and computationally complex liveness-enforcing net supervisors compared to the siphons methods.
Moreover, they can provide better behavioral permissiveness than siphons methods for small systems.
For large systems, a strict minimal siphon method leads to better behavioral permissiveness than the other methods.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Abouel Nasr, Emad& El-Tamimi, Abdulaziz M.& al-Ahmari, Abdurahman& Kaid, Husam. 2015. Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems. Mathematical Problems in Engineering،Vol. 2015, no. 2015, pp.1-19.
https://search.emarefa.net/detail/BIM-1074079
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Abouel Nasr, Emad…[et al.]. Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems. Mathematical Problems in Engineering No. 2015 (2015), pp.1-19.
https://search.emarefa.net/detail/BIM-1074079
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Abouel Nasr, Emad& El-Tamimi, Abdulaziz M.& al-Ahmari, Abdurahman& Kaid, Husam. Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems. Mathematical Problems in Engineering. 2015. Vol. 2015, no. 2015, pp.1-19.
https://search.emarefa.net/detail/BIM-1074079
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1074079
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)