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 条
  • [21] A kind of Object-Oriented Petri Net and its Application
    Liu, Xin
    Yin, Guisheng
    Zhan, Ziying
    ICICSE: 2008 INTERNATIONAL CONFERENCE ON INTERNET COMPUTING IN SCIENCE AND ENGINEERING, PROCEEDINGS, 2008, : 541 - +
  • [22] A Fuzzy Timed Object-Oriented Petri Net for Multi-Agent Systems
    Xu, Hua
    Jia, Peifa
    ADVANCES IN NEURAL NETWORKS - ISNN 2008, PT 2, PROCEEDINGS, 2008, 5264 : 210 - 219
  • [23] An Object-Oriented Petri Net modeling tool and abstraction mechanisms for cooperative systems
    de Medeiros, AKA
    Guerrero, DDS
    de Figueiredo, JCA
    Perkusich, A
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 172 - 177
  • [24] Verification of embedded systems using a Petri net based representation
    Cortés, LA
    Eles, P
    Peng, Z
    13TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, PROCEEDINGS, 2000, : 149 - 155
  • [25] OBJECT-ORIENTED PROGRAMMING FOR EMBEDDED SYSTEMS
    MACLEAN, S
    SMITH, S
    SIGPLAN NOTICES, 1995, 30 (09): : 3 - 8
  • [26] Assembly organization model of collaborative design based on Object-Oriented Petri Net
    Zhou, Chunlai
    Li, Zhigang
    Wang, Yongbin
    Jiang, Zhongcheng
    2006 IEEE INTERNATIONAL CONFERENCE ON INFORMATION ACQUISITION, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 2006, : 770 - 775
  • [27] Object-oriented modeling and simulation tool based on control and integration Petri net
    Fan, Yushun
    Ma, Quan
    Zhang, Jun
    Qinghua Daxue Xuebao/Journal of Tsinghua University, 1998, 38 (10): : 89 - 92
  • [28] Modeling FMS Using Rule-based Object-oriented Petri Net
    童国凡
    High Technology Letters, 1998, (01) : 11 - 16
  • [29] Modeling FMS using rule-based object-oriented Petri net
    High Technol Letters, 1 (9-14):
  • [30] Elevator group control system modeling based on object-oriented Petri net
    Qun, Z.
    Ding, S.
    Yu, C.
    Xiaofeng, L.
    Elevator World, 2001, 49 (08): : 99 - 102
12345