Shared Subnet Synthesis of Object-Oriented Petri Net Based Representation for Embedded Systems

被引：0
作者：
Xia, Chuanliang [1 ]
Zan, Yuhao [1 ]
机构：
[1] Shandong Jianzhu Univ, Sch Comp Sci & Technol, Jinan 250101, Peoples R China
来源：
ADVANCED INTELLIGENT COMPUTING TECHNOLOGY AND APPLICATIONS, PT V, ICIC 2024 | 2024年 / 14879卷
关键词：
Petri Nets; Synthesis; Liveness; Boundedness; Embedded System Modeling; LOGIC;
D O I：
10.1007/978-981-97-5675-9_7
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Embedded systems have been widely used in various fields, such as smart cities, automotive electronics, and 5G chips, etc. In order to solve the modeling problem of embedded systems, a solution is obtained using an extended Petri net synthesis operation. For the object-oriented Petri net based representation for embedded systems (OOPRES+), a kind of shared object subnet synthesis operation method is proposed. The preservation of liveness and boundedness of the synthesis net system has been investigated to alleviate the problem of state space explosion of OOPRES+. The modeling and analysis of an intelligent transportation system illustrates the effectiveness of the synthesis method. Results obtained provide a favorable means for the modeling of the large-scale complex embedded systems.
引用
收藏
页码：73 / 84
页数：12
相关论文
共 21 条
  • [1] Synthesising elementary net systems with localities
    Ahmed, Aishah
    Koutny, Maciej
    Pietkiewicz-Koutny, Marta
    [J]. THEORETICAL COMPUTER SCIENCE, 2022, 908 : 123 - 140
  • [2] Automated synthesis of hybrid Petri net models for robotic cells in the aircraft industry
    Basile, Francesco
    Caccavale, Fabrizio
    Chiacchio, Pasquale
    Coppola, Jolanda
    Marino, Alessandro
    Gerbasio, Diego
    [J]. CONTROL ENGINEERING PRACTICE, 2014, 31 : 35 - 49
  • [3] Characterisation of the state spaces of marked graph Petri nets
    Best, Eike
    Devillers, Raymond
    [J]. INFORMATION AND COMPUTATION, 2017, 253 : 399 - 410
  • [4] Modeling and formal verification of embedded systems based on a Petri net representation
    Cortés, LA
    Eles, P
    Peng, Z
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2003, 49 (12-15) : 571 - 598
  • [5] Petri Net controller synthesis based on decomposed manufacturing models
    Dideban, Abbas
    Zeraatkar, Hashem
    [J]. ISA TRANSACTIONS, 2018, 77 : 90 - 99
  • [6] Real-time emulation of boost inverter using the Systems Modeling Language and Petri nets
    Gutierrez, A.
    Bressan, M.
    Jimenez, J. F.
    Alonso, C.
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2019, 158 : 216 - 234
  • [7] Service net algebra based on logic Petri nets
    Hu, Qiang
    Du, Yuyue
    Yu, ShuXia
    [J]. INFORMATION SCIENCES, 2014, 268 : 271 - 289
  • [8] Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs
    Liu, Gaiyun
    Li, Pei
    Li, Zhiwu
    Wu, Naiqi
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2019, 49 (07): : 1371 - 1385
  • [9] Testing concurrent user behavior of synchronous web applications with Petri nets
    Offutt, Jeff
    Thummala, Sunitha
    [J]. SOFTWARE AND SYSTEMS MODELING, 2019, 18 (02) : 913 - 936
  • [10] A User Requirement Oriented Web Service Discovery Approach Based on Logic and Threshold Petri Net
    Sha, Jing
    Du, Yuyue
    Qi, Liang
    [J]. IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2019, 6 (06) : 1528 - 1542
123