一类扩展Petri网的建模与仿真分析

A Class of Extended Petri Net for Modeling, Simulation and Analysis

本文定义了一类禁止弧／容许弧基本Ｐｅｔｒｉ网及其变迁的引发规则，构造了它的三个标志矩阵（禁止弧、容许弧、自环），给出了它的关联矩阵和状态方程；基于此，形式化分析了该网模型，并由此构造出适于计算机仿真分析的启发式算法；

In this paper, a class of extended Petri net with inhibitor and permissive arce, and its firing urles of transitions are defined, three signal matrices are constructed, the incidence matrix and state equation are given; Then, the formal analysis method and heuristic algorithm are developed. Finally, one example is give.