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

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