[发明专利]一种将可编程逻辑控制器程序转换为普通Petri网的方法

权利要求书

1.一种将可编程逻辑控制器程序转换为普通Petri网的方法，其特征在于具体包括以下步骤：

步骤1、将PLC梯形图中左母线、右母线和包括触点、开关、辅助继电器或线圈的开关量模拟为结点，并且左、右母线和开关量与结点一一对应，得到结点集合V＝{v_l，v_r，v₁，v₂，L，v_m}，其中v_l表示左母线，v_r表示右母线，m表示开关量的个数；将左母线、右母线和开关量之间的导线模拟为有向边，得到有向边集合E＝{e₁，e₂，L，e_n}，其中任意e＝(v_x，v_y)，v_x对应靠近左母线的母线或开关，v_y对应靠近右母线的母线或开关，n是有向边的个数，从而获得PLC梯形图的有向图模型G＝<V，E>；

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

在PLC有向图中，将除母线对应的结点之外的全部结点v₁，v₂，L，v_m模拟为2m个库所，其中每个结点v_i(1≤i≤m)对应真库所p_ion和假库所p_ioff，所得库所组成Petri网的库所集

步骤3、设定Petri网的初始标识m₀：

显然，m₀(p_ion)+m₀(p_ioff)＝1；

步骤4、在PLC有向图中，定义与右母线结点相邻的赋值结点集合，赋值结点集合V_o＝{v∈V/(v，v_r)∈E}，定义与左母线相邻的起始结点集合，起始结点集合V_b＝{v∈V/(v_l，v)∈E}；

步骤5、在PLC有向图中，对于任意一个赋值结点v_ox，令∏(v_ox)＝{π₁，π₂，L，π_k}表示从起始结点到达v_ox的全部基本有向路径集合，其中∏(v_ox)中的任意一条路径满足下列条件：

(1)它是一个结点序列，其中任意两个相邻结点之间存在一个从前者指向后者的有向边；

(2)其中的每个结点仅能出现一次；

(3)它的第一个结点是一个起始结点，最后一个结点是v_ox；

步骤6、对于每一个赋值结点v_ox∈V_o，进行下列运算来获得Petri网的变迁集合T和有向弧集合F：

(1)令p_on和p_off分别对应v_ox的真库所和假库所；

(2)将∏(v_ox)中k条路径的第i条路径π_i模拟为一个变迁t_ion，并且完成下列操作：设路径中非末尾结点的个数为v，那么在结点j(1≤j≤v)对应状态的库所p_ij和t_i之间添加一个双向弧；添加一个从t_ion指向p_on的有向弧；添加一个从p_off指向t_ton的有向弧；即T=TU1≤i≤k{tion},]]>F=FU1≤i≤k1≤j≤v{(Poff,tion),(tion,Pon),(Pij,tion),(tion,Pij)};]]>

步骤7、定义∏(v_ox)的割集，它满足下列条件：

(1)它是一个结点集合；

(2)每个结点都包含在∏(v_ox)中的某路径内；

(3)每个结点都不是v_ox；

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

步骤8、、将Ψ(v_ox)中c个割集的第m个割集ψ_m模拟为一个变迁t_moff，并完成下列操作：设路径中非末尾结点的个数为v′，那么在结点n(1≤n≤v′)对应状态的库所p_mn和t_moff之间添加一个双向弧；添加一个从p_on指向t_moff的有向弧；添加一个从t_moff指向p_off的有向弧，即F=FU1≤m≤c1≤n≤v′{(Poff,tmoff),(tmoff,Pon),(Pmn,tmoff),(tmoff,Pmn)};]]>

步骤9、对于每个输入开关量对应的结点v_i(表示集合v_o内元素个数)，添加连接迁t_x和t_y，且t_x的输入和输出分别为该结点的真库所和假库所，而t_y的输入和输出分别为该结点的假库所和真库所，即T=TU1≤i≤m′{tix,tiy},]]>F=FU1≤i≤m′{(Pioff,tiy),(tiy,Pion),(Pion,tix),(tix,Pioff)};]]>

步骤10、输出一个普通Petri网N：＝(P，T，F)和初始标识m₀。