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 条
  • [1] Property Preservation of Object-Oriented Petri Reduction Net Based Representation for Embedded Systems
    Xia, Chuanliang
    Sun, Yan
    Shen, Bin
    Guo, Maibo
    ELECTRONICS, 2023, 12 (08)
  • [2] Property Analysis of Gateway Refinement of Object-Oriented Petri Net with Inhibitor-Arcs-Based Representation for Embedded Systems
    Xia, Chuanliang
    Qin, Mengying
    Sun, Yan
    Guo, Maibo
    ELECTRONICS, 2023, 12 (18)
  • [3] PETRI NET-BASED OBJECT-ORIENTED MODELING OF DISTRIBUTED SYSTEMS
    BRUNO, G
    BALSAMO, A
    SIGPLAN NOTICES, 1986, 21 (11): : 284 - 293
  • [4] Petri net-based analysis on object assignment in distributed object-oriented systems
    Chang, WT
    Tseng, CC
    Chou, WK
    JOURNAL OF SYSTEMS ARCHITECTURE, 1998, 44 (12) : 955 - 970
  • [5] A modeling technique applying an object-oriented Petri net for embedded system
    Lee, Jaebong
    Choi, Misook
    Sung, Changoan
    2006 INTERNATIONAL CONFERENCE ON HYBRID INFORMATION TECHNOLOGY, VOL 2, PROCEEDINGS, 2006, : 642 - +
  • [6] Simulation modeling based on the Object-oriented Petri net for discrete event systems
    Li, J.
    Wang, S.
    Chen, L.
    Huazhong Ligong Daxue Xuebao/Journal Huazhong (Central China) University of Science and Technology, 2001, 29 (05): : 12 - 13
  • [7] Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems
    Chuanliang Xia
    Chengdong Li
    IEEE/CAA Journal of Automatica Sinica, 2021, 8 (04) : 905 - 915
  • [8] Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems
    Xia, Chuanliang
    Li, Chengdong
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2021, 8 (04) : 905 - 915
  • [9] Fuzzy timed object-oriented Petri net
    Xu, H
    Jia, PF
    ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS II, 2005, 187 : 155 - 166
  • [10] The approach for object-oriented Petri net modeling
    Ren, AH
    Niu, JZ
    OBJECT-ORIENTED TECHNOLOGY, 1997, : 26 - 30
12345