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

Popoln opis

Bibliografske podrobnosti

Principais autores:	Murat Uzam, Zhiwu Li, Mohammed A. El-Meligy, Mohamed A. Sharaf, Qiwei Tang
Format:	Artigo
Jezik:	Inglês
Izdano:	IEEE 2024-01-01
Serija:	IEEE Access
Teme:	Flexible manufacturing system deadlock deadlock prevention petri net (PN) liveness enforcing supervisor optimality test
Online dostop:	https://ieeexplore.ieee.org/document/10418924/
Oznake:	Označite Brez oznak, prvi označite!