Shared Subnet Synthesis and Application of Object-oriented PRES Net

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

Abstract

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

CLC Number:

TP301

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.

Figures/Tables 7

Fig. 1

Fig. 2

Fig. 3

Fig. 4

Fig. 5

Fig. 6

Fig. 7

References 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]	Mingbao Pang, Zhen Liu. Simulation on Cooperative Control of Connected and Automated Vehicles at Interchange Based on Petri Net [J]. Journal of System Simulation, 2023, 35(3): 484-493.
[2]	Guangqiu Huang, He Wang. Dynamic Risk Assessment of VOCs Cross Regional Flow Based on Petri Nets [J]. Journal of System Simulation, 2023, 35(1): 57-68.
[3]	Yali Wu, Shuting He, Yanxi Yang, Lianqiang Feng, Fuqiang Wang, Yulu Chen. Scheduling Optimization of Aluminum Extrusion Production Line Based on Timed Petri Net and BSO Algorithm [J]. Journal of System Simulation, 2023, 35(1): 178-189.
[4]	Hong Zheng, Zerun Liu, Jianhua Huang, Shihui Qian. Verification of Transaction Ordering Dependence Vulnerability of Smart Contract Based on CPN [J]. Journal of System Simulation, 2022, 34(7): 1629-1638.
[5]	Hongnai Gao, Lijiang Fu, Qian Xia, Ya Guo. Application of Observability in Performance Evaluation of Photosynthesis Model [J]. Journal of System Simulation, 2022, 34(6): 1330-1342.
[6]	Guangqiu Huang, Tiantian Wu. Cause Analysis of VOCs Hazards in Related Areas Based on Object Function Petri Net [J]. Journal of System Simulation, 2022, 34(3): 470-481.
[7]	Jingwei Deng, Hanwu He, Yueming Wu, Jianhao Su. Fast generation Method of Multi-sensing Channel Fusion Virtual Experiment [J]. Journal of System Simulation, 2022, 34(12): 2639-2648.
[8]	Zheng Hong, Ye Cheng, Deng Wenxuan, Pan Li. A Game Cheating Detection System Based on Petri Nets [J]. Journal of System Simulation, 2020, 32(3): 455-463.
[9]	Huang Guangqiu, He Tong, Lu Qiuqin. Cascade Transmission Evaluation of Ecosystem Damage Caused by Dust Migration [J]. Journal of System Simulation, 2020, 32(2): 278-288.
[10]	Zhang Zhili, Zhang Yunrong, Ma Shixin. Concurrent Conflict Control Method of "Multi-rights+Operation Queues" Based on CPN Tools [J]. Journal of System Simulation, 2019, 31(6): 1092-1100.
[11]	Zhou Xueguang, Lü Weidong, Yuan Zhimin. Colored Petri Net Based Modeling on Warship Command and Control Information Flow [J]. Journal of System Simulation, 2019, 31(5): 828-842.
[12]	Zhang Yunrong, Zhang Zhili, Li XiangYang, Xu Weichang, Han Kuixia, Li Liang. Study on the matching mediation method between virtual maintenance personnel and work steps [J]. Journal of System Simulation, 2019, 31(4): 624-631.
[13]	Guo Jiaci, Dai Shuling. Facial Expression Synthesis Using MALS-based Bilinear Factorization Model [J]. Journal of System Simulation, 2019, 31(4): 671-678.
[14]	Sun Qipeng, Guo Xin, Ma Fei. Modeling and Simulation of Inter-City Passenger Travel Service Flow Based on Petri Net [J]. Journal of System Simulation, 2019, 31(2): 189-198.
[15]	Zhou pengfei, Xing xiaowei. Simulation of Automated Terminal with Dual-Rail Transport Trolley and Hollow Track Layout [J]. Journal of System Simulation, 2018, 30(9): 3264-3273.