Synthesis of Optimal Live Petri Net Models for a Class of FMS
一类FMS的最佳活Petri网模型的综合

In this paper, the Petri net model for a class of flexible manufacturing systems is constructed, and the deadlock problem in FMS is discussed. We prove a necessary and sufficient condition for liveness of system model and present and optimal deadlock avoidance controller which is a Petri net. The controlled closed loop systems may be modeled by live Petri nets.