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

Full description

Bibliographic Details

Published in:	Asian journal of control Vol. 17; no. 1; pp. 190 - 201
Main Authors:	Wang, ShouGuang, Zhou, MengChu, Wu, WenHui
Format:	Journal Article
Language:	English
Published:	Hoboken Blackwell Publishing Ltd 01.01.2015 Wiley Subscription Services, Inc
Subjects:	deadlock discrete event system Flexible manufacturing system Flexible manufacturing systems Petri net Supervisors
ISSN:	1561-8625, 1934-6093
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!