Supervisor design for a class of generalized Petri net with uncontrollable transitions

Author

Wu, Weimin ; Su, Hongye ; Chu, Jmn ; Zhai, Haifeng

Author_Institution

Inst. of Adv. Process Control, Zhejiang Univ., Hangzhou, China

Volume

3

fYear

2001

fDate

2001

Firstpage

1577

Abstract

The previous work of Boel et al. (1996) on the forbidden state problem for the class of discrete event systems modeled by controlled state graph is extended in this paper. The class of Petri nets we consider is a generalized net in which the weight of the arcs may exceed 1. Furthermore, the limit to the output places number of a transition in the net is removed and consequently the Petri net is capable of firing more than one process simultaneously. Based on the calculation of weakly forbidden conditions, the maximally permissive supervisor is obtained

Keywords

Petri nets; control system synthesis; discrete event systems; controlled state graph; discrete event systems; forbidden state problem; generalized Petri net; maximally permissive supervisor; supervisor design; uncontrollable transitions; weakly forbidden conditions; Algebra; Automata; Automatic control; Control system synthesis; Discrete event systems; Industrial control; Laboratories; Petri nets; Process control; Vectors;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 2001 IEEE International Conference on

Conference_Location

Tucson, AZ

ISSN

1062-922X

Print_ISBN

0-7803-7087-2

Type

conf

DOI

10.1109/ICSMC.2001.973509

Filename

973509