Property Analysis of Gateway Refinement of Object-Oriented Petri Net with Inhibitor-Arcs-Based Representation for Embedded Systems

被引：0
|
作者：
Xia, Chuanliang [1 ]
Qin, Mengying [1 ]
Sun, Yan [1 ]
Guo, Maibo [1 ]
机构：
[1] Shandong Jianzhu Univ, Sch Comp Sci & Technol, Jinan 250101, Peoples R China
来源：
ELECTRONICS | 2023年 / 12卷 / 18期
关键词：
extended Petri nets; object-oriented technology; refinement; property preservation; embedded system modeling; FORMAL VERIFICATION; MODELS;
D O I：
10.3390/electronics12183977
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper focuses on embedded system modeling, proposing a solution to obtain a refined net via the refinement operation of an extended Petri net. Object-oriented technology and Petri net with inhibitor-arcs-based representation for embedded systems (PIRES+) are combined to obtain an object-oriented PIRES+ (OOPIRES+). A gateway refinement method of OOPIRES+ is proposed, and the preservation of the liveness, boundedness, reachability, functionality, and timing of the refined net system is investigated. The modeling analysis of a smart home system is taken as an example to verify the effectiveness of the refinement method. The results can provide an effective way for the investigation of the refined properties of a Petri net system and a favorable means for large-scale complex embedded system modeling, which has broad application prospects.
引用
收藏
页数：14
相关论文
共 50 条
  • [31] 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
  • [32] Object-oriented petri nets for modelling and analysis of automated manufacturing systems
    Tunghai Univ, Taichung, Taiwan
    Comput Integr Manuf Syst, 2 (111-125):
  • [33] Object-oriented Petri nets for modelling and analysis of automated manufacturing systems
    Wang, LC
    COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1996, 9 (02): : 111 - 125
  • [34] 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
  • [35] 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
  • [36] 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
  • [37] 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
  • [38] Code based analysis for object-oriented systems
    Hattacharya, Swapan
    Kanjilal, Ananya
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006, 21 (06) : 965 - 972
  • [39] Code Based Analysis for Object-Oriented Systems
    Swapan Bhattacharya
    Ananya Kanjilal
    Journal of Computer Science and Technology, 2006, 21 : 965 - 972
  • [40] 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 - +
12345