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

Weimin Wu,Hongye Su,Jian Chu,Haifeng Zhai

DOI: https://doi.org/10.1109/ICSMC.2001.973509

2001-01-01

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