Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs

Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs

In the past three decades, a lot of Petri net-based methods have been proposed for deadlock prevention/liveness enforcing in flexible manufacturing systems (FMSs). Firstly, a plant Petri net model of an FMS is obtained and then the liveness enforcing supervisor (LES) or the controller is computed as...

Full description

Bibliographic Details
Main Authors: Murat Uzam, Zhiwu Li, Mohammed A. El-Meligy, Mohamed A. Sharaf, Qiwei Tang
Format: Article
Language:English
Published: IEEE 2024-01-01
Series:IEEE Access
Subjects:
Flexible manufacturing system
deadlock
deadlock prevention
petri net (PN)
liveness enforcing supervisor
optimality test
Online Access:https://ieeexplore.ieee.org/document/10418924/

Similar Items

Similar Items