图2。1 Petri网模型示意图

3。  Petri网的表示方法——图形分析法与数学分析法

1）在图形分析法中，用小圆圈代表库所，竖线代表变迁，实心小圆点代表托肯。以图2。1中的t1为说明对象，则库所P1的有向弧是库所到变迁，P1为t1的输入库所，t1为P1的输出变迁；库所P2与t1之间的有向弧是从变迁到库所，P2成为t1的输出库所，t1为P2的输入变迁；

    2）在数学解析法中，用关联矩阵对Petri网系统结构进行刻画，并结合点火序列和初始标记，根据状态方程进行矩阵运算，从而得到最终标识。借助矩阵运算可以简洁地展现Petri网结构的特点。以如上一个简单Petri网示意图为例，对各个运算元素分别加以说明。

a。关联矩阵

    关联矩阵可以用矩阵和矩阵表示，表示变迁与输出库所之间的连接关系，表示变迁与输入库所之间的连接关系，因此，Petri网可以表示为另一种形式

    其中    （），是库所节点的有限集合； 来;自]优Y尔E论L文W网www.youerw.com +QQ752018766-

    （）是变迁节点的有限集合。

    Petri网的关联矩阵是一个行列的矩阵，表示为C=-，用C来表示网络的拓扑结构。C的生成规则可以用一个式子来表示：

    其中W(p,t)表示的有向弧的权，表示有向图中存在此通路；由以上关联矩阵的生成规则可知，图的关联矩阵为:

    b。标识矩阵

    网络标识矩阵表示Petri网络中各个库所中所含的托肯的数目以及库所运算过程中的运算顺序，可以将其分为初始标识矩阵和稳态标识矩阵。初始标识矩阵表示初始状态未经历变迁节点点火的Petri网中库所节点的托肯数目分布情况，稳态标识矩阵表示稳态的Petri网中库所节点的托肯数目分布情况。