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 条
  • [21] Modeling and Simulation of AUV System Based on Object-Oriented Petri Net
    Liu, Xin
    Yin, Guisheng
    Zhang, Ziying
    2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS, VOLS 1-6, 2008, : 2860 - 2864
  • [22] Object-oriented development of the embedded system based on Petri-nets
    Huang, CC
    Liang, WY
    COMPUTER STANDARDS & INTERFACES, 2004, 26 (03) : 187 - 203
  • [23] 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
  • [24] 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
  • [25] 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
  • [26] A reliability analysis technique for object-oriented model using a reliability Petri net
    Kim, K
    Wu, CS
    MICROELECTRONICS AND RELIABILITY, 1996, 36 (09): : 1237 - 1247
  • [27] 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
  • [28] 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
  • [29] Modeling FMS Using Rule-based Object-oriented Petri Net
    童国凡
    High Technology Letters, 1998, (01) : 11 - 16
  • [30] Modeling FMS using rule-based object-oriented Petri net
    High Technol Letters, 1 (9-14):
12345