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á bibliografie

Vydáno v:	Asian journal of control Ročník 17; číslo 1; s. 190 - 201
Hlavní autoři:	Wang, ShouGuang, Zhou, MengChu, Wu, WenHui
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Hoboken Blackwell Publishing Ltd 01.01.2015 Wiley Subscription Services, Inc
Témata:	deadlock discrete event system Flexible manufacturing system Flexible manufacturing systems Petri net Supervisors
ISSN:	1561-8625, 1934-6093
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!