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
相关论文
共 50 条
  • [31] Liveness and boundedness preservations of sharing synthesis of Petri net based representation for embedded systems
    Xia, Chuanliang
    Shen, Bin
    Zhang, Hailin
    Wang, Yigui
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2018, 33 (05): : 345 - 350
  • [32] The research and application of the general Object-Oriented Petri Net (ONet)
    Tang, FG
    Yao, SZ
    Yang, WL
    OBJECT-ORIENTED TECHNOLOGY, 1997, : 13 - 17
  • [33] The development of an object-oriented Petri net cell control model
    Wang, LC
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1996, 11 (01): : 59 - 69
  • [34] MODELING OF OBJECT-ORIENTED PROGRAMS WITH PETRI NET STRUCTURED OBJECTS
    Kharitonov, Dmitriy
    Tarasov, George
    Golenkov, Evgeniy
    COMPUTING AND INFORMATICS, 2017, 36 (05) : 1063 - 1087
  • [35] Object-oriented Approach to Timed Colored Petri Net Simulation
    Kowalski, Michal
    Rzasa, Wojciech
    2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 1401 - 1404
  • [36] MOBnet: An extended Petri net model for the concurrent object-oriented system-level synthesis of multiprocessor systems
    Hsiung, PA
    Lee, TY
    Chen, SJ
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1997, E80D (02) : 232 - 242
  • [37] An object oriented Petri net language for embedded system design
    Esser, R
    EIGHTH IEEE INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE INCORPORATING COMPUTER AIDED SOFTWARE ENGINEERING, PROCEEDINGS, 1997, : 216 - 223
  • [38] Modeling and formal verification of embedded systems based on a Petri net representation
    Cortés, LA
    Eles, P
    Peng, Z
    JOURNAL OF SYSTEMS ARCHITECTURE, 2003, 49 (12-15) : 571 - 598
  • [39] Property preservation of refinement for Petri net based representation for embedded systems
    Xia, Chuanliang
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016, 19 (03): : 1373 - 1384
  • [40] Property preservation of refinement for Petri net based representation for embedded systems
    Chuanliang Xia
    Cluster Computing, 2016, 19 : 1373 - 1384
12345