DocumentCode :
2312667
Title :
A formal technique for the synthesis of Petri net supervisors for discrete event systems
Author :
Jones, A.H. ; Uzam, M.
Author_Institution :
Intelligent Machinery Div., Salford Univ., UK
Volume :
1
fYear :
1998
fDate :
1-4 Sep 1998
Firstpage :
845
Abstract :
In this paper a formal technique for the synthesis of Petri-net-based supervisors for discrete event systems is proposed to solve the forbidden state problem. The solution has close parallels to the finite state machine approach proposed by Ramadge and Wonham (1987, 1989). The technique thus provides a Petri net equivalent method to act as further stimulus to solving the synthesis of supervisory control problems. In this paper the methodology is explained in detail by considering a discrete manufacturing system
Keywords :
production control; Petri-net; discrete event systems; discrete manufacturing system; forbidden state problem; formal technique; supervisory control;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Control '98. UKACC International Conference on (Conf. Publ. No. 455)
Conference_Location :
Swansea
ISSN :
0537-9989
Print_ISBN :
0-85296-708-X
Type :
conf
DOI :
10.1049/cp:19980339
Filename :
728045
Link To Document :
بازگشت