Petri网并分解技术及其应用研究

J4 ›› 2013, Vol. 35 ›› Issue (4): 125-129.

Petri网并分解技术及其应用研究

周彦1,乐晓波1,匡迎春2

（1.长沙理工大学计算机与通信工程学院，湖南长沙 410114;2.湖南农业大学计算机学院，湖南长沙 410128）

收稿日期:2012-02-23 修回日期:2012-04-29 出版日期:2013-04-25 发布日期:2013-04-25
基金资助:
湖南省自然科学基金资助项目（08JJ3124）

Petri net union decomposition technology and its application

ZHOU Yan1,YUE Xiaobo1,KUANG Yingchun2

(1.Department of Computer and Communication Engineering,
Changsha University of Science and Technology,Changsha 410114;
2.Department of Computer,Hunan Agricultural University,Changsha 410128,China)

Received:2012-02-23 Revised:2012-04-29 Online:2013-04-25 Published:2013-04-25

摘要/Abstract

摘要：

依据Petri网并分解的定义，提出了一种可将无环多输出的网系统分解为若干个单输出库所子网的新技术，并对其正确性进行了证明。对生产制造故障诊断系统和电子商务制造商建立了Petri网模型，运用所提出的分解技术对所建立的模型进行分解，通过计算验证了分解后的各子网状态与原网的状态的一致性，为Petri网应用于较大规模的相关系统提供了一条可行的思路。

关键词: Petri网, 化简, 并分解, 建模

Abstract:

According to the union decomposition technology of Petri net, this paper proposed a new method that decomposes an acyclic and multioutput net system into several single output subnets and proved its correctness. Firstly, the Petri net model for the fault diagnosis system of production manufacturing and Ecommerce manufacturer was built up. Secondly, the proposed method was adopted to decompose the built Petri net model. Thirdly, the consistency between the subnets status after decomposition and the initial net status was verified by calculation. As a consequence, the paper presented a new feasible thought to Petri Net applications in relative large scale systems.

Key words: Petri net；simplify；union decomposition；modeling

周彦1,乐晓波1,匡迎春2. Petri网并分解技术及其应用研究[J]. J4, 2013, 35(4): 125-129.

ZHOU Yan1,YUE Xiaobo1,KUANG Yingchun2. Petri net union decomposition technology and its application [J]. J4, 2013, 35(4): 125-129.

[1]	姚袭欣, 章博, 陈香兰, 乔磊, 李曦. 一种基于Event-B语言的时间触发系统建模方法[J]. 计算机工程与科学, 2023, 45(04): 613-621.
[2]	孙智超, 张策, 江文倩, 刘凯卫, 范苗苗, 李文毓, 温雅菲. 故障检测率对软件可靠性影响实证分析[J]. 计算机工程与科学, 2022, 44(12): 2162-2173.
[3]	刘雨青, 向军, 曹守启. 基于改进蚁群算法的水下自主航行机器人路径规划[J]. 计算机工程与科学, 2022, 44(03): 536-544.
[4]	张志远, 陈海进. 基于动态矩阵的未知环境地图构建与路径规划[J]. 计算机工程与科学, 2022, 44(03): 563-570.
[5]	杨慧慧, 方贤文, 邵叱风. 基于Petri网的并发事件流程模型修复分析[J]. 计算机工程与科学, 2021, 43(10): 1773-1780.
[6]	王吴松, 方欢, 郑雪文. 基于Petri网的流程变体合并方法[J]. 计算机工程与科学, 2021, 43(06): 1095-1103.
[7]	赵应丁, 岳星宇, 杨文姬, 张吉昊, 杨红云, . 基于多特征融合卷积神经网络的显著性检测[J]. 计算机工程与科学, 2021, 43(04): 729-737.
[8]	王帅辉, 袁杰. 复合Petri网的主从式多智能体通信建模方法[J]. 计算机工程与科学, 2021, 43(02): 304-311.
[9]	薛骁勇, 孙猛. Mediator的概率扩展[J]. 计算机工程与科学, 2020, 42(08): 1367-1373.
[10]	王思齐, 胡婧韬, 余广, 祝恩, 蔡志平. 智能视频异常事件检测方法综述[J]. 计算机工程与科学, 2020, 42(08): 1393-1405.
[11]	张晶, 袁振宇. 基于增广混合Petri网的CPS事件建模[J]. 计算机工程与科学, 2020, 42(03): 550-556.
[12]	刘艳萍1，崔彤1，周长兵2，李小翠2，刘甜1. 基于改进混合高斯模型和图形句柄的异常车辆检测[J]. 计算机工程与科学, 2020, 42(02): 266-272.
[13]	史文杰，詹雨奇，李奎. 一种面向多平台航电资源建模及其调度算法[J]. 计算机工程与科学, 2019, 41(11): 1976-1984.
[14]	钱文高1，耿宏1，马红岩2. 装配序列约束下的飞机虚拟维修过程建模仿真[J]. 计算机工程与科学, 2019, 41(08): 1482-1489.
[15]	黄怿豪，冯劲草，郑寒月，缪炜恺，蒲戈光. 航空机载嵌入式控制软件需求建模的形式化工程方法[J]. 计算机工程与科学, 2019, 41(06): 1016-1025.