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] 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
  • [8] 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
  • [9] Verification of real-time system requirements: A Petri net approach
    Szpyrka, M
    [J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 165 - 170
  • [10] Verification of embedded systems using a Petri net based representation
    Cortés, LA
    Eles, P
    Peng, Z
    [J]. 13TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, PROCEEDINGS, 2000, : 149 - 155
12345