基于GMEC 转换算法的 Petri 网结构控制器综合方法.

This paper proposes a controller synthesis method based on matrix transformation and integer linear programming to address the problem of forbidden state controller design for Petri net systems with uncontrollable transitions. The key idea behind this method involves transforming generalized mutual exclusion constraints (GMEC) that represent the legal states of a Petri net system. Based on the incidence matrix of a Petri net, it divides the set of places into irrelevant places, uncontrollable places, and complementary places. By modifying the weights of complementary places and uncontrollable places in the given GMEC, it then converts the given GMEC into an allowable one by solving integer linear programming problems. Using the allowable GMEC, this paper designs a structural controller for Petri nets based on the principle of place invariants. Finally, it takes a part processing system as an example to show that the application is versatile and efficient, offering an effective solution for the controller design of intelligent manufacturing systems. [ABSTRACT FROM AUTHOR]