一种将可编程逻辑控制器程序转换为普通Petri网的方法
阅读：946发布：2020-09-18
专利汇可以提供一种将可编程逻辑控制器程序转换为普通Petri网的方法专利检索，专利查询，专利分析的服务。并且本 发明 一种将可编程逻辑 控制器 程序转换为普通Petri网的方法，针对PLC梯形图程序，将梯形图触点和线圈模拟为结点，将 导线 模拟为有向边，建立梯形图程序的PLC 有向图 模型，定义该有向图中的路径，根据路径关系，将PLC有向图转换为Petri网；本发明实现PLC梯形图程序到普通Petri网模型的自动转换，由于普通Petri网激 发条 件简洁，逻辑思维方式简单，更直观易懂，而且所得Petri网模型能够完全模拟PLC控制系统的动态行为，更便于对PLC程序分析、纠错，使PLC程序逻辑更为严谨。，下面是一种将可编程逻辑控制器程序转换为普通Petri网的方法专利的具体信息内容。
1.一种将可编程逻辑控制器程序转换为普通Petri网的方法，其特征在于具体包括以下步骤：
步骤1、将PLC梯形图中左母线、右母线和包括触点、开关、辅助继电器或线圈的开关量模拟为结点，并且左、右母线和开关量与结点一一对应，得到结点集合V＝{vl，vr，v1，v2，L，vm}，其中vl表示左母线，vr表示右母线，m表示开关量的个数；将左母线、右母线和开关量之间的导线模拟为有向边，得到有向边集合E＝{e1，e2，L，en}，其中任意e＝(vx，vy)，vx对应靠近左母线的母线或开关，vy对应靠近右母线的母线或开关，n是有向边的个数，从而获得PLC梯形图的有向图模型G＝
步骤2、计算Petri网的库所集
在PLC有向图中，将除母线对应的结点之外的全部结点v1，v2，L，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，L，π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指向tton的有向弧；即步骤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( 表示集合vo
内元素个数)，添加连接迁tx和ty，且tx的输入和输出分别为该结点的真库所和假库所，而ty的输入和输出分别为该结点的假库所和真库所，即
步骤10、输出一个普通Petri网N：＝(P，T，F)和初始标识m0。
一种将可编程逻辑控制器程序转换为普通Petri网的方法
技术领域
[0002] 可编程逻辑控制器(PLC)是工业控制系统中典型的控制器硬件，广泛地应用于钢铁、石油、化工、电力和交通系统的监控。而PLC程序的开发面临高复杂性难题：在现场总线技术的支持下，工业控制系统规模和结构复杂性增长迅速，比如地铁交通控制系统和核电控制系统等等，而系统的状态个数随传感器和执行机构的数目呈指数级增长，仅由5辆自动导航车辆组成的物流系统的状态就达数百万之巨，因此PLC程序设计面临与生俱来的高计算复杂性。
[0003] 而高计算复杂性带来两大工程问题：(1)程序设计和调试工作量繁琐和巨大，程序开发周期和开发成本难于控制；(2)传统程序调试无法验证每个状态(状态数指数级增长)，无法保证程序的正确性和可靠性，而程序出错可能造成严重事故，比如列车相撞、欧洲亚利安娜5号火箭爆炸和美国Threc-5放射性医疗事故等。
[0004] 为了克服上述工程问题，需要开发PLC程序仿真和软件验证方法，利用计算机来完成程序仿真和验证工作，降低程序开发成本，保证程序的正确性和可靠性。因此，需要将PLC程序模拟为计算机数学模型，即将PLC程序指令转换为一种计算机数学模型-Petri网，以Petri网为工具对PLC程序进行仿真和验证。(Petri网是1960年代德国科学家卡
尔·A·佩特里发明的，适合于模拟异步的、并发的动态系统，既有严格的数学表述方式，又有直观的图形表达方式。)
尔·A·佩特里发明的，适合于模拟异步的、并发的动态系统，既有严格的数学表述方式，又有直观的图形表达方式。)
[0005] 目前已经报道的方法是给出了将单个指令或简单的梯形图程序转换为扩展Petri网的方法，无法自动转换普通的梯形图程序，在实际模拟转换梯形图程序时需要列出大量的逻辑关系式，增加了工作量，而且扩展Petri网的行为分析比较复杂，反而加大了出现错误的可能性；还有一种方法是用扩展Petri网的结构元素去描述PLC梯形图的基本逻辑指令，进而完成PLC梯形图语言的转换。这种方法的关键是把变迁定义为一个特定事件，但是从逻辑层面上分析，整个网结构的运行并没有比PLC梯形图程序更简单，而且Petri网结构在模拟仿真时也不能自行运转。
发明内容
[0006] 本发明的目的在于提供一种能够实现可编程逻辑控制器程序自动转换为普通Petri网的方法，以供计算机来完成PLC程序仿真和验证工作，降低程序开发成本，保证程序的正确性和可靠性。
[0007] 本发明一种将可编程逻辑控制器程序转换为普通Petri网的方法，具体包括以下步骤：
[0008] 步骤1、将PLC梯形图中左母线、右母线和包括触点、开关、辅助继电器或线圈的开关量模拟为结点，并且左、右母线和开关量与结点一一对应，得到结点集合V＝{vl，vr，v1，v2，L，vm}，其中vl表示左母线，vr表示右母线，m表示开关量的个数；将左母线、右母线和开关量之间的导线模拟为有向边，得到有向边集合E＝{e1，e2，L，en}，其中任意e＝(vx，vy)，vx对应靠近左母线的母线或开关，vy对应靠近右母线的母线或开关，n是有向边的个数，从而获得PLC梯形图的有向图模型G＝；
[0009] 步骤2、计算Petri网的库所集
[0010] 在PLC有向图中，将除母线对应的结点之外的全部结点v1，v2，L，vm模拟为2m个库所，其中每个结点vi(1≤i≤m)对应真库所pion和假库所pioff，所得库所组成Petri网的库所集
[0011] 步骤3、设定Petri网的初始标识m0：
[0012]
[0013] 显然，m0(pion)+m0(pioff)＝1；
[0014] 步骤4、在PLC有向图中，定义与右母线结点相邻的赋值结点集合，赋值结点集合Vo＝{v∈V/(v，vr)∈E}，定义与左母线相邻的起始结点集合，起始结点集合Vb＝{v∈V/(vl，v)∈E}；
[0015] 步骤5、在PLC有向图中，对于任意一个赋值结点vox，令∏(vox)＝{π1，π2，L，πk}表示从起始结点到达vox的全部基本有向路径集合，其中∏(vox)中的任意一条路径满足下列条件：
[0016] (1)它是一个结点序列，其中任意两个相邻结点之间存在一个从前者指向后者的有向边；
[0017] (2)其中的每个结点仅能出现一次；
[0018] (3)它的第一个结点是一个起始结点，最后一个结点是vox；
[0019] 步骤6、对于每一个赋值结点vox∈Vo，进行下列运算来获得Petri网的变迁集合T和有向弧集合F：
[0020] (1)令pon和poff分别对应vox的真库所和假库所；
[0021] (2)将∏(vox)中k条路径的第i条路径πi模拟为一个变迁tion，并且完成下列操作：设路径中非末尾结点的个数为v，那么在结点j(1≤j≤v)对应状态的库所pij和ti
之间添加一个双向弧；添加一个从tion指向pon的有向弧；添加一个从poff指向tion的有向弧；即
之间添加一个双向弧；添加一个从tion指向pon的有向弧；添加一个从poff指向tion的有向弧；即
[0022] 步骤7、定义∏(vox)的割集，它满足下列条件：
[0023] (1)它是一个结点集合；
[0024] (2)每个结点都包含在∏(vox)中的某路径内；
[0025] (3)每个结点都不是vox；
[0026] (4)如果删除该集合中的结点，那么将不存在从左母线结点vl到达vox的路径，如果∏(vox)的一个割集不包含任何其它割集，则称其为最小割集，计算∏(vox)的最小割集的集合，令其为Ψ(vox)；
[0027] 步骤8、、将Ψ(vox)中c个割集的第m个割集ψm模拟为一个变迁tmoff，并完成下列操作：设路径中非末尾结点的个数为v′，那么在结点n(1≤n≤v′)对应状态的库所pmn和tmoff之间添加一个双向弧；添加一个从pon指向tmoff的有向弧；添加一个从tmoff指向poff的有向弧，即
[0028] 步骤9、对于每个输入开关量对应的结点vi( 表示集合vo内元素个数)，添加连接迁tx和ty，且tx的输入和输出分别为该结点的真库所
和假库所，而ty的输入和输出分别为该结点的假库所和真库所，即
和假库所，而ty的输入和输出分别为该结点的假库所和真库所，即
[0029] 步骤10、输出一个普通Petri网N：＝(P，T，F)和初始标识m0。
[0030] 采用上述技术方案后，本发明能实现PLC梯形图程序到普通Petri网模型的自动转换，由于普通Petri网激发条件简洁，逻辑思维方式简单，更直观易懂，而且所得Petri网模型能够完全模拟PLC控制系统的动态行为，以完成PLC程序仿真和验证工作，便于对PLC程序进行分析、纠错，能使PLC程序逻辑更为严谨，降低了PLC程序的开发成本，能保证PLC程序的正确性和可靠性。
附图说明
附图说明
[0031] 图1为本发明的工作流程示意图；
[0033] 图3为本发明实施例一之用PLC实现控制功能的电路图；
[0034] 图4为本发明实施例一之PLC梯形图程序示意图；
[0035] 图5为本发明实施例一之PLC梯形图的有向图模型示意图；
[0036] 图6为本发明实施例一之图4PLC梯形图程序对应的Petri网结构图；
[0037] 图7为本发明实施例二之电机正反转控制电路图；
[0038] 图8为本发明实施例二之用PLC实现控制功能的电路图；
[0039] 图9为本发明实施例二之PLC梯形图程序示意图；
[0040] 图10为本发明实施例二之PLC梯形图的有向图模型示意图；
[0041] 图11为本发明实施例二之图9PLC梯形图程序对应的Petri网结构图。
[0042] 以下结合附图和具体实施例对本发明作进一步详述。
具体实施方式
[0043] 如图1所示，本发明一种将可编程逻辑控制器程序转换为普通Petri网的方法，具体包括以下步骤：
[0044] 步骤1、将PLC梯形图中左母线、右母线和包括触点、开关、辅助继电器和线圈的开关量模拟为结点，并且左、右母线和开关量与结点一一对应，得到结点集合V＝{vl，vr，r1，v2，L，vm}，其中vl表示左母线，vr表示右母线，m表示开关量的个数；将左母线、右母线和开关量之间的导线模拟为有向边，得到有向边集合E＝{e1，e2，L，en}，其中任意e＝(vx，vy)，vx对应靠近左母线的母线或开关，vy对应靠近右母线的母线或开关，n是有向边的个数，从而获得PLC梯形图的有向图模型G＝；
[0045] 步骤2、计算Petri网的库所集
[0046] 在PLC有向图中，将除母线对应的结点之外的全部结点v1，v2，L，vm模拟为2m个库所，其中每个结点vi(1≤i≤m)对应两个库所pion和pioff，它们分别称为vi对应的真库所和假库所，所得库所组成Petri网的库所集
[0047] 步骤3、设定Petri网的初始标识m0：
[0048] 显 然，m0(pion)+m0(pioff)＝1；
[0049] 步骤4、在PLC有向图中，定义与右母线结点相邻的赋值结点集合，赋值结点集合Vo＝{v∈V/(v，vr)∈E}，定义与左母线相邻的起始结点集合，起始结点集合Vb＝{v∈V/(vl，v)∈E}；
[0050] 步骤5、在PLC有向图中，对于任意一个赋值结点vox，令∏(vox)＝{π1，π2，L，πk}表示从起始结点到达vox的全部基本有向路径集合，其中∏(vox)中的任意一条路径满足下列条件：
[0051] (1)它是一个结点序列，其中任意两个相邻结点之间存在一个从前者指向后者的有向边；
[0052] (2)其中的每个结点仅能出现一次；
[0053] (3)它的第一个结点是一个起始结点，最后一个结点是vox；
[0054] 步骤6、对于每一个赋值结点vox∈Vo，进行下列运算来获得Petri网的变迁集合T和有向弧集合F：
[0055] (1)令pon和poff分别对应vox的真库所和假库所；
[0056] (2)将∏(vox)中k条路径的第i条路径πi模拟为一个变迁tion，并且完成下列操作：设路径中非末尾结点的个数为v，那么在结点j(1≤j≤v)对应状态的库所pij和ti
之间添加一个双向弧；添加一个从tion指向pon的有向弧；添加一个从poff指向tion的有向弧；即
之间添加一个双向弧；添加一个从tion指向pon的有向弧；添加一个从poff指向tion的有向弧；即
[0057] 步骤7、定义∏(vox)的割集，它满足下列条件：
[0058] (1)它是一个结点集合；
[0059] (2)每个结点都包含在∏(vox)中的某路径内；
[0060] (3)每个结点都不是vox；
[0061] (4)如果删除该集合中的结点，那么将不存在从左母线结点vl到达vox的路径，如果∏(vox)的一个割集不包含任何其它割集，则称其为最小割集，计算∏(vox)的最小割集的集合，令其为Ψ(vox)；
[0062] 步骤8、将Ψ(vox)中c个割集的第m个割集ψm模拟为一个变迁tmoff，并完成下列操作：设路径中非末尾结点的个数为v′，那么在结点n(1≤n≤v′)对应状态的库所pmn和tmoff之间添加一个双向弧；添加一个从pon指向tmoff的有向弧；添加一个从tmoff指向poff的有向弧，即
[0063] 步骤9、对于每个输入开关量对应的结点vi( 表示集合vo内元素个数)，添加连接迁tix和tiy，且tix的输入和输出分别为该结点的真库所
和假库所，而tiy的输入和输出分别为该结点的假库所和真库所，即
和假库所，而tiy的输入和输出分别为该结点的假库所和真库所，即
[0064] 步骤10、输出一个普通Petri网N：＝(P，T，F)和初始标识m0。
[0065] 以实施例一“控制风扇启动/停止的自锁电路”来详述本发明。
[0066] 如图2所示，PB1为启动按钮，PB2为停止按钮，KM为继电器线圈，用于表示风扇的工作状态；图3是用PLC控制的外部接线电路图，PLC的输入端I0.0接PB1、I0.1接PB2，输出端Q0.0接继电器线圈KM，从图4的PLC梯形图程序可知，按下启动按钮PB1，I0.0接通，Q0.0通电，电扇运行，自锁电路可以使电扇保持运转而不用一直按着启动按钮，按下停止按钮PB2锁定输出Q0.0就被断电，电扇停止运行。
[0067] 步骤1、根据图4所示PLC梯形图程序，转换有向图模型G＝，如图5所示，结点集合V＝{vl，vr，v1，v2，v3}，有向边集合E＝{e1，e2，e3，e4，e5，e6}，其中，e1＝(vl，v1)，e2＝(v1，v2)，e3＝(v2，v3)，e4＝(vl，v3)，e5＝(v3，v2)，e6＝(v3，vr)；
[0068] 步骤2、在图5的PLC有向图中，将除左右母线对应的结点之外的全部结点v1，v2，v3模拟为6个库所，其中每个结点vi(1≤i≤3)对应两个库所pion和pioff，它们分别称为vi对应的真库所和假库所，那么所得库所组成Petri网的库所集
[0069] 步骤3、设定Petri网的初始标识：
[0070] m0(p1on)＝0，m0(p1off)＝1，m0(p2on)＝1，m0(p2off)＝0，m0(p3on)＝0，m0(p3off)＝1；
[0071] 步骤4、在图5的PLC有向图中，定义起始结点Vb＝{v1，v3}，赋值结点Vo＝{v3}；
[0072] 步骤5、在图5的PLC有向图中，对于赋值结点v3的基本有向路径集合∏(v3)＝{π1，π2}，其中，π1＝{v1，v2，v3}，π2＝{v3，v2}；
[0073] 步骤6、对于赋值结点v3，添加Petri网的变迁和有向弧：
[0074] (1)p3on和p3off分别对应v3的真库所和假库所；
[0075] (2)将基本有向路径π1模拟为变迁t1，即T＝TU{t1}，在t1和v1、v2的真库所之间添加双向弧，即F＝FU{(p1on，t1)，(t1，p1on)，(p2on，t1)，(t1，p2on)}，再添加赋值结点的真假库所与t1之间的有向弧，即F＝FU{(p3off，t1)，(t1，p3on)}；将基本有向路径π2模拟为变迁t2，即T＝TU{t2}，在t2和v2的真库所之间添加双向弧，即F＝FU{(p2on，t2)，(t2，p2on}，再添加赋值结点的真假库所与t2之间的有向弧，即F＝FU{(p3off，t2)，(t2，p3on)}；
[0076] 步骤7、在图5的PLC有向图中，定义赋值结点v3的割集ψ1＝{v2}；
[0077] 步骤8、将割集ψ1模拟为变迁t3，即T＝TU{t3}，在t3和v2的假库所之间添加双向弧F＝FU{(p2off，t3)，(t3，p2off)}，再添加赋值结点的真假库所与t3之间的有向弧F＝FU{(p3on，t3)，(t3，p3off)}；
[0078] 步骤9、对于输入开关量v1、v2对应的结点添加连接变迁，对于v1添加连接变迁t4和t5，且·t4＝{p1off}，t4·＝{p1on}，·t5＝{p1on}，t5·＝{p1off}，即F＝FU{(p1off，t4)，(t4，p1on)，(p1on，t5)，(t5，p1off)}对于v2添加连接变迁t6和t7，且·t6＝{p2off}，t6·＝{p2on}，·t7＝{p2on}，t7·＝{p2off}，即F＝FU{(p2off，t6)，(t6，p2on)，(p2on，t7)，(t7，p2off)}，完成转换；
[0079] 步骤10、输出一个普通Petri网N：＝(P，T，F)和初始标识m0(见图6)。
[0080] 以实施例二“电机正反转电路”来详述本发明。
[0081] 如图7所示，SB1、SB2为手动开关，KM1、KM2为继电器线圈，分别表示电机正反转工作状态。图8是用PLC控制的外部接线电路图，一个PLC芯片的输入端I0.0接SB1，输出端Q0.0接继电器线圈KM1，另一个PLC芯片的输入端I0.1接SB2，输出端Q0.1接继电器线
圈KM2。从图9的PLC梯形图程序可知，该程序说明了一种互锁程序输出的简单方法。当按下手动开关SB1，I0.0触点闭合，继电器KM1通电，电机正转；当按下手动开关SB2，I0.1触点闭合，继电器KM2通电，电机正转。当正转(反转)时，按下反转(正转)按钮，不能驱动电机反转(正转)。
圈KM2。从图9的PLC梯形图程序可知，该程序说明了一种互锁程序输出的简单方法。当按下手动开关SB1，I0.0触点闭合，继电器KM1通电，电机正转；当按下手动开关SB2，I0.1触点闭合，继电器KM2通电，电机正转。当正转(反转)时，按下反转(正转)按钮，不能驱动电机反转(正转)。
[0082] 步骤1、根据图9所示PLC梯形图程序，转换有向图模型G＝，结点集合V＝{vl，vr，v1，v2，v3，v4}，有向边集合E＝{e1，e2，e3，e4，e5，e6，e7，e8}，其中，e1＝(vl，v1)，e3＝(v4，v3)，e4＝(v3，vr)，e5＝(vl，v2)，e6＝(v2，v3)，e7＝(v3，v4)，e8＝(v4，vr)，见图10；
[0083] 步骤2、在图10的PLC有向图中，将除母线对应的结点之外的全部结点v1，v2，v3，v4模拟为8个库所，其中每个结点vi(1≤i≤4)对应两个库所pion和pioff，它们分别称为vi对应的真库所和假库所，那么所得库所组成Petri网的库所集
[0084] 步骤3、设定Petri网的初始标识：
[0085] m0(p1on)＝0，m0(p1off)＝1，m0(p2on)＝0，m0(p2off)＝1，
[0086] m0(p2off)＝1，m0(p3on)＝0，m0(p3off)＝1，m0(p4on)＝0，m0(p4off)＝1；
[0087] 步骤4、在图10的PLC有向图中，定义起始结点Vb＝{v1，v2}，赋值结点Vo＝{v3，v4}；
[0088] 步骤5、在图10的PLC有向图中，对于赋值结点v3的基本有向路径集合∏(v3)＝{π1}，其中，π1＝{v1，v4，v3}；对于赋值结点v4的基本有向路径集合∏(v4)＝{π2}，其中，π2＝{v2，v3，v4}；
[0089] 步骤6.、对于赋值结点v3、v4添加Petri网的变迁和有向弧：
[0090] (1)p3on和p3off分别对应v3的真库所和假库所，p4on和p4off分别对应v4的真库所和假库所；
[0091] (2)将基本有向路径π1模拟为变迁t1，即T＝TU{t1}，分别在t1和v1的真库所、t1和v4的假库所之间添加双向弧，即F＝FU{(p1on，t1)，(t1，p1on)，(p4off，t1)，(t1，p4off)}再添加赋值结点v3的真假库所与t1之间的有向弧，F＝FU{(p3off，t1)，(t1，p3on)}；将基本有向路径π2模拟为变迁t2，即T＝TU{t2}分别在t2和v2的真库所、t2和v3的假库所之间添加双向弧F＝FU{(p2on，t2)，(t2，p2on)，(p3off，t2)，(t2，p3off)}，再添加赋值结点v4的真假库所与t2之间的有向弧F＝FU{(p4off，t2)，(t2，p4on)}，见图11；
[0092] 步骤7、在图10的PLC有向图中，定义赋值结点v3的割集ψ1＝{v1}，ψ2＝{v4}；赋值结点v4的割集ψ3＝{v2}，ψ4＝{v3}。
[0093] 步骤8、将割集ψ1模拟为变迁t3，即T＝TU{t3}，在t3和v1的假库所之间添加双向弧，即F＝FU{(p1off，t3)，(t3，p1off)}，再添加赋值结点v3的真假库所与t3之间的有向弧，即F＝FU{(p3on，t3)，(t3，p3off)}；将割集ψ2模拟为变迁t4，即T＝TU{t4}，在t4和v4的真库所之间添加双向弧，即F＝FU{(p4on，t4)，(t4，p4on)}，再添加赋值结点v3的真假库所与t4之间的有向弧，即F＝FU{(p3on，t4)，(t4，p3off)}，将割集ψ3模拟为变迁t5，即T＝TU{t5}，在t5和v2的假库所之间添加双向弧，即F＝FU{(p2off，t5)，(t5，p2off)}，再添加赋值结点v4的真假库所与t5之间的有向弧，即F＝FU{(p4on，t5)，(t5，p4off)}；将割集ψ4模拟为变迁t6，即T＝TU{t6}，在t6和v3的真库所之间添加双向弧F＝FU{(p3on，t6)，(t6，p3on)}，再添加赋值结点v4的真假库所与t6之间的有向弧，即F＝FU{(p4on，t6)，(t6，p4off)}，见图11；
[0094] 步骤9、对于输入开关量v1、v2对应的结点添加连接变迁，对于v1添加连接变迁t7和t8，且·t7＝{p1off}，t7·＝{p1on}，·t8＝{p1on}，t8·＝{p1off}，即F＝FU{(p1off，t7)，(t7，p1on)，(p1on，t8)，(t8，p1off)}；对于v2添加连接变迁t9和t10，且·t9＝{p2off}，t9·＝{p2on}，t10＝{p2on}，t10·＝{p2off}即F＝FU{(p2off，t9)，(t9，p2on)，(p2on，t10)，(t10，p2off)}完成转换；
[0095] 步骤10、输出一个普通Petri网N：＝(P，T，F)和初始标识m0(见图11)。
| 标题 | 发布/更新时间 | 阅读量 |
|---|---|---|
| 一种主动式车辆连续跟踪装置、系统及方法 | 2020-05-12 | 621 |
| 基于脑电信号采集的虚拟现实交互方法及装置 | 2020-05-18 | 667 |
| 一种系统界面设计方法 | 2020-05-13 | 424 |
| 基于二维意图所定义的控制部件控制方法和装置 | 2020-05-16 | 139 |
| 刹车防误踩油门提示装置 | 2020-05-14 | 215 |
| 一种新型多组件组合式思维导图绘图尺 | 2020-05-15 | 361 |
| 一种新型的英语思维训练导图任意调节装置 | 2020-05-17 | 785 |
| 一种思维导图盒 | 2020-05-11 | 598 |
| 一种多功能思维导图装置 | 2020-05-13 | 22 |
| 一种儿童智力开发用磁吸式积木拼图盒 | 2020-05-17 | 699 |
高效检索全球专利专利汇是专利免费检索,专利查询,专利分析-国家发明专利查询检索分析平台，是提供专利分析，专利查询，专利检索等数据服务功能的知识产权数据服务商。
我们的产品包含105个国家的1.26亿组数据，免费查、免费专利分析。
分析报告
专利汇分析报告产品可以对行业情报数据进行梳理分析，涉及维度包括行业专利基本状况分析、地域分析、技术分析、发明人分析、申请人分析、专利权人分析、失效分析、核心专利分析、法律分析、研发重点分析、企业专利处境分析、技术处境分析、专利寿命分析、企业定位分析、引证分析等超过60个分析角度，系统通过AI智能系统对图表进行解读，只需1分钟，一键生成行业专利分析报告。
QQ群二维码
意见反馈
意见反馈