Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems

This paper deals with the problems of computational and structural complexity in designing maximally permissive liveness‐enforcing supervisors for a class of Petri nets called Systems of Simple Sequential Processes with Resources (S3PR) without ξ‐resources. The supervisor consists of two parts: the...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Asian journal of control Jg. 17; H. 1; S. 190 - 201
Hauptverfasser:	Wang, ShouGuang, Zhou, MengChu, Wu, WenHui
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Hoboken Blackwell Publishing Ltd 01.01.2015 Wiley Subscription Services, Inc
Schlagworte:	deadlock discrete event system Flexible manufacturing system Flexible manufacturing systems Petri net Supervisors
ISSN:	1561-8625, 1934-6093
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!