Supervisory control of discrete event systems based on inhibitor arc petri nets:A survey

New progress in the supervisory control theory of discrete event systems is the control of the system using inhibitor arc of Petri nets. Based on a brief introduction of inhibitor arc Petri nets, the fundamental principle of the theory is provided. Four methods of the theory are summarized and their virtues and shortcomings are analyzed. These methods include string avoidance method combined automata proposed by Sreenvias and Krogh, inhibitor arc method proposed by Uzam and Jones et al, state avoidance controller method based on inhibitor arc proposed by Cho and Kwon and weighted inhibitor arc method proposed by Wu and Su et al. Lastly, directions for future research are discussed.