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 条
  • [41] Formal modeling and verification of real-time concurrent systems
    Yan, Fei
    Tang, Tao
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON VEHICULAR ELECTRONICS AND SAFETY, PROCEEDINGS, 2007, : 219 - 224
  • [42] MODELING REAL-TIME SYSTEMS BY EXTENDING THE NOTION OF PETRI NETS
    BAYEV, VV
    [J]. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1993, 31 (03) : 119 - 123
  • [43] Modeling of Real-Time Embedded Systems using SysML and its Verification using UPPAAL and DiVinE
    Basit-Ur-Rahim, Muhammad Abdul
    Arif, Fahim
    Ahmad, Jamil
    [J]. 2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 132 - 136
  • [44] UML extensions for modeling real-time and embedded systems
    Szostak, S
    Robak, S
    Stryjski, R
    Franczyk, B
    [J]. DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 109 - 114
  • [45] Modeling of real-time embedded systems using SDL
    Babau, JP
    Alkhodre, A
    Schwarz, JJ
    [J]. SYSTEM ON CHIP DESIGN LANGUAGES: EXTENDED PAPERS: BEST OF FDL'01 AND HDLCON'01, 2002, : 257 - 265
  • [46] Modeling Dependability Features for Real-Time Embedded Systems
    Ni, Siru
    Zhuang, Yi
    Cao, Zining
    Kong, Xiangying
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2015, 12 (02) : 190 - 203
  • [47] Modeling of dynamically modifiable embedded real-time systems
    Rammig, F
    Rust, C
    [J]. NINTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2004, : 28 - 34
  • [48] Research on Modeling and Design of Real-Time Embedded Systems
    Shen Yuncheng
    [J]. 2014 7TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION (ICICTA), 2014, : 547 - 550
  • [49] A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints
    Andrade, Ermeson
    Maciel, Paulo
    Callou, Gustavo
    Nogueira, Bruno
    [J]. THIRD INTERNATIONAL CONFERENCE ON DIGITAL SOCIETY: ICDS 2009, PROCEEDINGS, 2009, : 266 - 271
  • [50] A fuzzy Petri net tool for modeling and verification of knowledge-based systems
    Koriem, SM
    [J]. COMPUTER JOURNAL, 2000, 43 (03): : 206 - 223
12345