基于扩展Petri网的控制器设计与分析

定义了一类扩展Ｐｅｔｒｉ网及其引发规划，标志矩阵和关联矩阵，并基于矩阵－状态方程，构造了一种适于该网模型分析的启发式算法，提出了一种由表征系统的期望动态行为的令牌流构造系统控制器的设计方法，并用上述启发式算法对其进行了分析，验证，最后给出了实例。

Design and Analysis of a Controller Based on a Class of Extended Petri Nets

Defines a be of extended Petri nets with inhibitor and permissive arcs, and its firing rules of transitions are defined.Three signal matrices are constructed, and the incidence matrix and state equation are given. The mehtod of analysis and heuristic algorithm are developed. The design method is proposed according to token flows which represent the desired dynamic behaviors of the system controlled. The designed controller is analyzed and verified, and an example is finally given to show that the above approach is useful for the design and analysis of controllers.