面向对象的PRES网共享子网组合及应用

doi:10.16182/j.issn1004731x.joss.21-1267

摘要/Abstract

摘要：

针对嵌入式系统建模问题，提出了一种经由扩展Petri网共享子网得到组合网的解决方案。将面向对象技术与嵌入式系统的Petri网表示模型(PRES网)融合，得到一种面向对象的PRES网—OOPRES(object-oriented petri net based representation for embedded system)网。提出了一种OOPRES网共享子网组合操作方法，并对其组合网系统的活性和有界性的保持问题进行了研究。以智能交通系统的建模分析为例验证了该组合方法的有效性。结果可为Petri网系统组合性质的考察提供有效途径，为大规模复杂嵌入式系统建模提供有利手段，具有宽广的应用前景。

关键词: Petri网, 嵌入式系统建模, 组合, 活性, 有界性

Abstract:

Focus on embedded system modeling, a solution to obtain a synthesized net via the shared subnet of an extended Petri net is proposed. Object-oriented technology and Petri net-based representation for embedded system (PRES net) are merged to obtain an object-oriented PRES net (OOPRES net). A method of synthesized operation of the shared subnet of OOPRES net is proposed, and the preservation of the liveness and boundedness of synthesized net system is studied. Taking the modeling analysis of intelligent transportation system as an example, the effectiveness of the synthesized method is verified. The method can provide an effective way for the investigation of the synthesized properties of Petri net system, and a favorable means for modeling the large-scale complex embedded systems, which has broad application prospects.

Key words: Petri net, embedded system modeling, synthesis, liveness, boundedness

中图分类号:

TP301

夏传良, 郭脉波, 王壮壮, 孙琰. 面向对象的PRES网共享子网组合及应用[J]. 系统仿真学报, 2023, 35(4): 833-842.

Chuanliang Xia, Maibo Guo, Zhuangzhuang Wang, Yan Sun. Shared Subnet Synthesis and Application of Object-oriented PRES Net[J]. Journal of System Simulation, 2023, 35(4): 833-842.

图/表 7

图1

图2

图3

图4

图5

图6

图7

参考文献 20

1	Tausan N, Markkula J, Kuvaja P, et al. Choreography in the Embedded Systems Domain: A Systematic Literature Review[J]. Information and Software Technology(S0950-5849), 2017, 91: 82-101.
2	Stoutchini A, Benini L. StreamDrive: A Dynamic Dataflow Framework for Clustered Embedded Architectures[J]. Journal of Signal Processing Systems(S1939-8115), 2019, 91: 630-640.
3	Offutt J, Thumala S. Testing Concurrent User Behavior of Synchronous Web Applications with Petri Nets[J]. Software and Systems Modeling(S1619-1374), 2019, 18: 913-936.
4	Wu D, Schnieder E. Scenario-Based System Design with Colored Petri Nets: An Application to Train Control Systems[J]. Software and System Modeling(S1619-1374), 2018, 17: 295-317.
5	管梦真, 刘伟, 杜玉越. 基于逻辑时延Petri网的停车预订系统建模与分析[J]. 计算机应用研究, 2021, 38(8): 2412-2417.
	Guan Mengzhen, Liu Wei, Du Yuyue. Modeling and Analysis of Parking Reservation System Based on Logical Time-Delayed Petri Net[J]. Application Research of Computers, 2021, 38(8): 2412-2417.
6	Cortés L A, Eles P, Peng Z. Modeling and Formal Verification of Embedded Systems Based on A Petri Net Based Representation[J]. Journal of Systems Architecture(S1383-7621), 2003, 49(12/15): 571-598.
7	朱正月, 陈增强. 基于面向对象时间Petri网的智能电商物流服务系统建模[J]. 智能系统学报, 2018, 13(2): 303-313.
	Zhu Zhengyue, Chen Zengqiang. Modeling of Intelligent E-Commerce Logistics Service System Based on Object-Oriented Time Petri Nets[J]. Journal of Intelligent Systems, 2018, 13(2): 303-313.
8	Zhao Na, Yu Yong, Wang Jian, et al. An Extended Object-Oriented Petri Net Supporting the Description and Evolution of Components: EOOPN[J]. Cluster Computing(S1573-7543), 2019, 22: S2701-S2708.
9	冯丽萍, 彭其渊, 文超. 基于OOPN的高速铁路行车指挥信息交互过程建模[J]. 系统仿真学报, 2015, 27(4): 697-705.
	Feng Liping, Peng Qiyuan, Wen Chao. OOPN-based High-speed Railway Traffic Command Information Interaction Process Modeling[J]. Journal of System Simulation, 2015, 27(4): 697-705.
10	Wolf K. Petri Net Synthesis with Union/Find[C]//International Conference on Applications and Theory of Petri Nets and Concurrency. Germany: Springer, 2018: 60-81.
11	Liu Gaiyun, Li Pei, Li Zhiwu, et al. Robust Deadlock Control for Automated Manufacturing Systems with Unreliable Resources Based on Petri Net Reachability Graphs[J]. IEEE Transactions on Systems, Man and Cybernetics: Systems(S2168-2216), 2018, 49(7): 1371-1385.
12	韩敏, 孙国庆, 郑丹晨, 等. 一种基于时变Petri网的服务组合质量检验方法[J]. 软件学报, 2019, 30(8): 2453-2469.
	Han Min, Sun Guoqing, Zheng Danchen, et al. A Service Composition Quality Inspection Method Based on Time-Varying Petri Nets[J]. Journal of Software, 2019, 30(8): 2453-2469.
13	夏传良. 一种Petri网合成方法及其在系统建模中的应用[J]. 系统仿真学报, 2006, 18(2): 271-277.
	Xia Chuanliang. A Petri Net Synthesis Method and Its Application in System Modeling[J]. Journal of System Simulation, 2006, 18(2): 271-277.
14	夏传良, 鞠彦兵, 李盛恩. Petri网共享P型子网合成及其在系统设计中的应用[J]. 系统仿真学报, 2007, 19(2): 355-360, 404.
	Xia Chuanliang, Ju Yanbing, Li Shengen. Petri Net Shared P-type Subnet Synthesis and Its Application in System Design[J]. Journal of System Simulation, 2007, 19(2): 355-360, 404.
15	Best E, Devillers R, Schlachter U. Bounded Choice-Free Petri Net Synthesis: Algorithmic Issues[J]. Acta Informatica(S0001-5903), 2018, 55(7): 575-611.
16	Eike B. Target-oriented Petri Net Synthesis[J]. Fundamenta Informaticae(S0169-2968), 2020, 175(1/4): 97-122.
17	相东明, 马炳先, 张正明. 基于语义的Petri网自动共享合成方法研究[J]. 系统仿真学报, 2012, 24(11): 2237-2242.
	Xiang Dongming, Ma Bingxian, Zhang Zhengming. Research on Automatic Sharing and Synthesis Method of Petri Net Based on Semantics[J]. Journal of System Simulation, 2012, 24(11): 2237-2242.
18	Dideban A, Zeraatkar H. Petri Net Controller Synthesis Based on Decomposed Manufacturing Models[J]. ISA Transactions(S0019-0578), 2018, 77: 90-99.
19	Xia Chuanliang, Li Chengdong. Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems[J]. IEEE/CAA Journal of Automatica Sinica(S2329-9266), 2021, 8(4): 905-915.
20	Xia Chuanliang, Shen Bin, Zhang Hailin, et al. Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems[J]. International Journal of Computer Systems Science & Engineering(S2766-4821), 2018, 33(5): 345-350.

[1]	庞明宝, 刘震. 基于Petri网立交桥智能网联车协作控制仿真[J]. 系统仿真学报, 2023, 35(3): 484-493.
[2]	黄光球, 王熇. 基于Petri网的VOCs跨区域流动动态风险评估方法[J]. 系统仿真学报, 2023, 35(1): 57-68.
[3]	吴亚丽, 何淑婷, 杨延西, 冯连强, 王富强, 陈煜路. 基于时延Petri网与BSO的铝挤压线排产调度优化[J]. 系统仿真学报, 2023, 35(1): 178-189.
[4]	郑红, 刘泽润, 黄建华, 钱诗慧. 基于CPN的智能合约交易顺序依赖漏洞的验证[J]. 系统仿真学报, 2022, 34(7): 1629-1638.
[5]	黄光球, 吴甜甜. 基于对象函数Petri网的关联区域VOCs危害成因解析[J]. 系统仿真学报, 2022, 34(3): 470-481.
[6]	邓景威, 何汉武, 吴悦明, 苏健豪. 多感知通道融合虚拟实验的快速生成方法[J]. 系统仿真学报, 2022, 34(12): 2639-2648.
[7]	郑天, 李峰, 贺乃宝, 顾亚. 基于组合式信号源的非线性系统辨识[J]. 系统仿真学报, 2022, 34(11): 2377-2385.
[8]	郑文, 史可, 朱静宜. 考虑组合信息的O2O平台交易仿真[J]. 系统仿真学报, 2022, 34(11): 2470-2484.
[9]	王付宇, 汤涛. 双种群鱼群算法在分布式投资组合的应用[J]. 系统仿真学报, 2021, 33(9): 2074-2084.
[10]	武虎子, 王瑾, 齐万涛, 金开保. 飞机低空突防模式机动舵面最优配置建模仿真[J]. 系统仿真学报, 2021, 33(9): 2180-2190.
[11]	蔡鹏, 沈朝萍, 李红燕. 基于标定区域特征点组合匹配的位姿估计方法[J]. 系统仿真学报, 2021, 33(7): 1638-1646.
[12]	位晶晶, 刘勤明, 叶春明, 李冠林. 基于GA-SVR的小样本数据缺失下的设备故障诊断[J]. 系统仿真学报, 2021, 33(6): 1342-1349.
[13]	孙伟卿, 宋赫, 韩冬, 田坤鹏. 火电深度调峰改造近似动态规划方法[J]. 系统仿真学报, 2021, 33(6): 1415-1426.
[14]	汪润鸿, 王红军, 邹湘军, 曾泽钦, 李慧, 黄钊丰, 刘伟良. 基于混合粒子群算法的组合式变速箱传动比优化研究[J]. 系统仿真学报, 2021, 33(4): 825-836.
[15]	王霄汉, 张霖, 任磊, 谢堃钰, 王昆玉, 叶飞, 陈真. 基于强化学习的车间调度问题研究简述[J]. 系统仿真学报, 2021, 33(12): 2782-2791.