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

Celý popis

Podrobná bibliografia

Vydané v:	Asian journal of control Ročník 17; číslo 1; s. 190 - 201
Hlavní autori:	Wang, ShouGuang, Zhou, MengChu, Wu, WenHui
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Hoboken Blackwell Publishing Ltd 01.01.2015 Wiley Subscription Services, Inc
Predmet:	deadlock discrete event system Flexible manufacturing system Flexible manufacturing systems Petri net Supervisors
ISSN:	1561-8625, 1934-6093
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!