One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy

This paper focuses on establishing a Petri net (PN)-based deadlock prevention policy for large-scale systems whose state spaces are prone to the explosion problem phenomenon. When using the reachability analysis technique, the main burden is that the number of states grows exponentially with respect...

وصف كامل

التفاصيل البيبلوغرافية

المؤلفون الرئيسيون:	Oussama Karoui, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Emad Abouel Nasr, Abdulaziz Mohammed El-Tamimi
التنسيق:	Artigo
اللغة:	Inglês
منشور في:	IEEE 2018-01-01
سلاسل:	IEEE Access
الموضوعات:	Reachability analysis state explosion problem deadlock deadlock prevention Petri net (PN)
الوصول للمادة أونلاين:	https://ieeexplore.ieee.org/document/8400391/
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!