可达性等价于状态方程可满足性的一个petri网子类

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (11): 84-86.

可达性等价于状态方程可满足性的一个petri网子类

刘关俊陈黎静

山东科技大学信息学院长沙交通学院计算机系

收稿日期:2006-05-11 修回日期:1900-01-01 出版日期:2007-04-11 发布日期:2007-04-11
通讯作者: 刘关俊

a class of petri nets with equivalence of reachability and state equation satisfiability

Liu Guanjun and Chen Lijing

College of Information, Shandong University of Science and Technology, Qingdao, 266510 )

Received:2006-05-11 Revised:1900-01-01 Online:2007-04-11 Published:2007-04-11

摘要/Abstract

摘要： 本文定义了一个petri网子类：，满足条件。本文证明：当目标标识时，此petri网子类的可达性等价于状态方程的可满足性。同时，当此petri网子类的可达性等价于状态方程可满足性时，可得出如下两点结论：①对于满足的每个非平凡的非负整数向量，都；②对于满足的每个非平凡的非负整数向量，都是的一个可执行向量。

关键词: petri网, 可达性, 状态方程, 可执行向量

Abstract: This paper defines a class of petri nets such that , and proves that: when every element of the marking is great than zero, the reachability from to equals to the satisfiability of the state equation . Simultaneously, when the reachability equals to the satisfiability of the state equation, the following conclusions can be drawn: For every vector such that , there exists satisfying , and is an executable vector.

Key words: petri net, reachability, state equation, executable vector

刘关俊陈黎静. 可达性等价于状态方程可满足性的一个petri网子类[J]. 计算机工程与应用, 2007, 43(11): 84-86.

Liu Guanjun and Chen Lijing. a class of petri nets with equivalence of reachability and state equation satisfiability[J]. Computer Engineering and Applications, 2007, 43(11): 84-86.

[1]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[2]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[3]	李艳，王阳阳，张红岩，武优西. 不可达顶点剪枝算法及其在最短路径中的应用[J]. 计算机工程与应用, 2020, 56(15): 51-57.
[4]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[5]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[6]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[7]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[8]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[9]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[10]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[11]	蒋洁琦，杨庚，李鹏. 云环境下面向隐私保护的用户行为分析[J]. 计算机工程与应用, 2018, 54(14): 127-132.
[12]	王列伟，吴朔，胡俊华. 基于Petri网的道路交叉口建模方法及比较研究[J]. 计算机工程与应用, 2018, 54(14): 211-216.
[13]	张晶，王亮，范洪博. CPS系统物理实体时空一致性建模与分析[J]. 计算机工程与应用, 2018, 54(14): 41-44.
[14]	任大勇. 用直觉模糊Petri网构建的供应链可靠性诊断模型[J]. 计算机工程与应用, 2017, 53(5): 260-265.
[15]	刘红，方贤文，刘祥伟. 流程树切挖掘业务流程隐变迁的方法[J]. 计算机工程与应用, 2017, 53(22): 222-226.