A review of Petri Net based modeling and verification for embedded real-time systems

被引：0
|
作者：
zhang, Haitao [1 ]
Wang, Fei-Yue [1 ]
机构：
[1] Chinese Acad Sci, Inst Automat, Key Lab Complex Syst & Intelligence Sci, Beijing 100080, Peoples R China
来源：
DETC 2005: ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, 2005, Vol 4 | 2005年
关键词：
modeling; Petri Nets; real time systems; scheduling;
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
Petri Nets are widely applied to the modeling of embedded real-time systems. Classical Petri Nets are continuously improved to adapt embedded real-time systems. This paper addresses various extended Petri Nets and their characteristic in the modeling of embedded real-time systems. At last, some methods of the formal modeling and verification using Petri Nets are introduced.
引用
收藏
页码：257 / 264
页数：8
相关论文
共 50 条
  • [1] Petri net based design of reconfigurable embedded real-time systems
    Rust, C
    Stappert, F
    Bernhardi-Grisson, R
    [J]. DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 41 - 50
  • [2] Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement
    Ding, Zhijun
    Jiang, Changjun
    Zhou, Mengchu
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [3] Modeling and formal verification of embedded systems based on a Petri net representation
    Cortés, LA
    Eles, P
    Peng, Z
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2003, 49 (12-15) : 571 - 598
  • [4] Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets
    Nigro, Libero
    Cicirelli, Franco
    [J]. MATHEMATICS, 2024, 12 (06)
  • [5] Modeling and verification of real-time embedded systems with urgency
    Hsiung, Pao-Ann
    Lin, Shang-Wei
    Chen, Yean-Ru
    Huang, Chun-Hsian
    Shih, Chihhsiong
    Chu, William C.
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (10) : 1627 - 1641
  • [6] A Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems
    Chen, Liqiong
    Shao, Zhiqing
    Fan, Guisheng
    Ma, Hanhua
    [J]. JOURNAL OF COMPUTERS, 2008, 3 (12) : 35 - 42
  • [7] Schedule modeling based on Petri nets for distributed real-time embedded systems
    Zhang, Haitao
    Ai, Yunfeng
    [J]. Jisuanji Gongcheng/Computer Engineering, 2006, 32 (18): : 6 - 8
  • [8] Real-time Embedded Software Architecture Modeling and Reliability Evaluation Based on Time-extended Petri Net
    Li, Hong-Bing
    Wang, Ming-Wei
    [J]. MATERIAL SCIENCE, CIVIL ENGINEERING AND ARCHITECTURE SCIENCE, MECHANICAL ENGINEERING AND MANUFACTURING TECHNOLOGY II, 2014, 651-653 : 1888 - 1892
  • [9] Real-time embedded software architecture modeling and reliability estimation based on time-extended Petri Net
    Xu, Yu-Tang
    Yin, Yong-Feng
    Sun, Jing
    Zhang, Chi
    Liu, Bin
    [J]. Binggong Xuebao/Acta Armamentarii, 2015, 36 (02): : 363 - 373
  • [10] Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints
    Andrade, Ermeson
    Maciel, Paulo
    Callou, Gustavo
    Nogueira, Bruno
    [J]. 2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2, 2008, : 615 - 620
12345