1.一种将可编程逻辑控制器程序转换为普通Petri网的方法，其特征在于具体包括以下步骤：步骤1、将PLC梯形图中左母线、右母线和包括触点、开关、辅助继电器或线圈的开关量模拟为结点，并且左、右母线和开关量与结点一一对应，得到结点集合V={vl,vr,v1,v2,...,vm}，其中vl表示左母线，vr表示右母线，m表示开关量的个数；将左母线、右母线和开关量之间的导线模拟为有向边，得到有向边集合E={e1,e2,...,en}，其中任意e=(vx,vy)，vx对应靠近左母线的母线或开关，vy对应靠近右母线的母线或开关，n是有向边的个数，从而获得PLC梯形图的有向图模型G=（V,E）；

步骤2、计算Petri网的库所集

在PLC有向图中，将除母线对应的结点之外的全部结点v1,v2,...,vm模拟为2m个库所，其中每个结点vi（1≤i≤m）对应真库所pion和假库所pioff，所得库所组成Petri网的库所集步骤3、设定Petri网的初始标识m0：

显然，m0(pion)+m0(pioff)=1；

步骤4、在PLC有向图中，定义与右母线结点相邻的赋值结点集合，赋值结点集合Vo={v∈V/(v,vr)∈E}，定义与左母线相邻的起始结点集合，起始结点集合Vb={v∈V/(vl,v)∈E}；

步骤5、在PLC有向图中，对于任意一个赋值结点vox，令Π(vox)={π1,π2,...,πk}表示从起始结点到达vox的全部基本有向路径集合，其中Π(vox)中的任意一条路径满足下列条件：（1）它是一个结点序列，其中任意两个相邻结点之间存在一个从前者指向后者的有向边；

（2）其中的每个结点仅能出现一次；

（3）它的第一个结点是一个起始结点，最后一个结点是vox；

步骤6、对于每一个赋值结点vox∈Vo，进行下列运算来获得Petri网的变迁集合T和有向弧集合F：（1）令pon和poff分别对应vox的真库所和假库所；

（2）将Π(vox)中k条路径的第i条路径πi模拟为一个变迁tion，并且完成下列操作：设路径中非末尾结点的个数为v，那么在结点j(1≤j≤v)对应状态的库所pij和ti之间添加一个双向弧；添加一个从tion指向pon的有向弧；添加一个从poff指向tion的有向弧；即步骤7、定义Π(vox)的割集，它满足下列条件：（1）它是一个结点集合；

（2）每个结点都包含在Π(vox)中的某路径内；

（3）每个结点都不是vox；

（4）如果删除该集合中的结点，那么将不存在从左母线结点vl到达vox的路径，如果Π(vox)的一个割集不包含任何其它割集，则称其为最小割集，计算Π(vox)的最小割集的集合，令其为Ψ(vox)；

步骤8、、将Ψ(vox)中c个割集的第m个割集ψm模拟为一个变迁tmoff，并完成下列操作：设路径中非末尾结点的个数为v′，那么在结点n(1≤n≤v′)对应状态的库所pmn和tmoff之间添加一个双向弧；添加一个从pon指向tmoff的有向弧；添加一个从tmoff指向poff的有向弧，即步骤9、对于每个输入开关量对应的结点vi（1≤i≤m′, 表示集合vo内元素个数），添加连接迁tx和ty，且tx的输入和输出分别为该结点的真库所和假库所，而ty的输入和输出分别为该结点的假库所和真库所，即步骤10、输出一个普通Petri网N:=(P,T,F)和初始标识m0。