Synthesis of Petri net controller based local incidence matrix

The problem of constructing a Petri net feedback controller, which enforces a set of generalized mutual exclusion constraints on the reachable marking of the plant modeled by Petri net, is discussed. A method, which is based on the concept of local incidence matrix that is an extension of incidence matrix of Petri nets, is presented. The approach can reduce the complexity of computing controller because it considers part of the plant only, not the entire plant. An example is given to show that the method in this paper is simpler and more efficient in computation than the one presented by Moody. The advantage of this method is more obvious, when the plant is a large system.