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

Gespeichert in:
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!
Beschreibung
Zusammenfassung: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 first part proposes an algorithm to extract a desired emptied strict minimal siphon (SMS) from a given emptied siphon based on loop resource subsets. This is faster than the existing ones. The second part proposes a siphon‐based deadlock prevention policy, which can obtain a maximally permissive liveness‐enforcing supervisor with reduced structural complexity and no weighted monitors, owing to the contribution of the first part, which can compute a desired SMS such that one with the smallest number of resource places is selected first for control. Several flexible manufacturing systems are used to show the proposed method and its superior performance over the previous ones.
Bibliographie:Zhejiang NNST Key Laboratory - No. 2013E10012
ArticleID:ASJC837
istex:5D51E2CFA32ED9A3B07F86A241FA211A5A25408C
Zhejiang Sci. and Tech. Project - No. 2013C31111
ark:/67375/WNG-3NVP23S0-9
Zhejiang Provincial Natural Science Foundation of China - No. LR14F020001
National Natural Science Foundation of China - No. 61100056
ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1561-8625
1934-6093
DOI:10.1002/asjc.837