A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems

This paper presents a new method of computing a minimal supervisory structure that optimally enforces liveness on the Petri net models for flexible manufacturing systems (FMSs). The proposed method utilizes the structural properties of a Petri net model to avoid the computation of its reachability g...

Ausführliche Beschreibung

Bibliografische Detailangaben

Hauptverfasser:	Muhammad Bashir, Zhiwu Li, Murat Uzam, Abdulrahman Al-Ahmari, Naiqi Wu, Ding Liu, Ting Qu
Format:	Artigo
Sprache:	Inglês
Veröffentlicht:	IEEE 2017-01-01
Schriftenreihe:	IEEE Access
Schlagworte:	Liveness-enforcing supervisor deadlock flexible manufacturing system (FMS) Petri net
Online-Zugang:	https://ieeexplore.ieee.org/document/8000560/
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!