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 条
  • [41] Property preservation of Petri refinement net based representation for embedded systems
    Xia, Chuanliang
    Wang, Tongguo
    Zhang, Jijun
    Wang, Zhong
    MECHATRONICS AND INDUSTRIAL INFORMATICS, PTS 1-4, 2013, 321-324 : 2232 - +
  • [42] The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems
    Xia, Chuanliang
    Wang, Zhuangzhuang
    Wang, Zhong
    ELECTRONICS, 2022, 11 (09)
  • [43] Property analysis of refinement of Petri net based representation for embedded systems
    Xia, C. (chuanliang_xia@126.com), 1600, Bentham Science Publishers B.V., P.O. Box 294, Bussum, 1400 AG, Netherlands (05):
  • [44] Research on Manufacture Processes of Resin Dry Transformers Based on Object-oriented Petri Net
    Ni, Junfang
    MATERIALS AND MANUFACTURING, PTS 1 AND 2, 2011, 299-300 : 899 - 903
  • [45] Modeling with distributed measurement system based on colored timed object-oriented Petri net
    Shen, Y
    Guo, B
    Gu, TX
    ICEMI 2005: Conference Proceedings of the Seventh International Conference on Electronic Measurement & Instruments, Vol 2, 2005, : 349 - 352
  • [46] Study on Mission Reachability Problem for Multiple AUVs Based on Object-oriented Petri Net
    Lin, Changlong
    Li, Yiping
    2015 IEEE INTERNATIONAL CONFERENCE ON CYBER TECHNOLOGY IN AUTOMATION, CONTROL, AND INTELLIGENT SYSTEMS (CYBER), 2015, : 1259 - 1264
  • [47] Study of Re-entrant Lines Modeling Based on Object-Oriented Petri Net
    Xu, Shu
    Li, Fuming
    SENSORS, MEASUREMENT AND INTELLIGENT MATERIALS, PTS 1-4, 2013, 303-306 : 1280 - +
  • [48] BOCBPN: AN OBJECT-ORIENTED PETRI NET FOR CELL MODELLING BASED ON SOFTWARE ENGINEERING CONCEPTS
    Tiraihi, A.
    Shams, F.
    4TH ASIAN CONFERENCE ON INTELLIGENT GAMES AND SIMULATION - 4TH ASIAN SIMULATION TECHNOLOGY CONFERENCE, 2012, : 63 - 67
  • [49] The research on modeling of coal supply chain based on object-oriented Petri net and optimization
    Liu Man-zhi
    Zhou Mei-hua
    Lv Xue-qing
    Yang Ji-xian
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MINING SCIENCE & TECHNOLOGY (ICMST2009), 2009, 1 (01): : 1608 - 1616
  • [50] AUV modeling and analysis using a colored object-oriented Petri net
    Feng, Xiaoning
    Liu, Qun
    Wang, Zhuo
    FIRST INTERNATIONAL MULTI-SYMPOSIUMS ON COMPUTER AND COMPUTATIONAL SCIENCES (IMSCCS 2006), PROCEEDINGS, VOL 2, 2006, : 405 - +
12345