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

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...

Full description

Bibliographic Details
Main Authors: Oussama Karoui, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Emad Abouel Nasr, Abdulaziz Mohammed El-Tamimi
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Reachability analysis
state explosion problem
deadlock
deadlock prevention
Petri net (PN)
Online Access:https://ieeexplore.ieee.org/document/8400391/

Internet

https://ieeexplore.ieee.org/document/8400391/

Similar Items