Verifying timing properties for distributed real-time systems using timing constraint Petri nets

被引：1
|
作者：
Tsai, JJP [1 ]
Yang, SJ [1 ]
Chang, YH [1 ]
Juan, EYT [1 ]
机构：
[1] UNIV ILLINOIS,DEPT ELECT ENGN & COMP SCI,CHICAGO,IL 60680
来源：
TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS | 1996年 / 20卷
关键词：
D O I：
10.1109/CMPSAC.1996.542423
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：36 / 40
页数：5
相关论文
共 50 条
  • [21] Improving the Verification of Real-Time Systems Using Time Petri Nets
    del Foyo P.M.G.
    Silva J.R.
    [J]. Journal of Control, Automation and Electrical Systems, 2017, 28 (6) : 774 - 784
  • [22] Reachability analysis of real-time systems using time Petri nets
    Wang, JC
    Deng, Y
    Xu, G
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 725 - 736
  • [23] SAFETY ANALYSIS OF TIMING PROPERTIES IN REAL-TIME SYSTEMS
    JAHANIAN, F
    MOK, AK
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 890 - 904
  • [24] Implementation of real-time distributed control for discrete event robotic systems using Petri nets
    Yasuda, Gen'ichi
    [J]. ARTIFICIAL LIFE AND ROBOTICS, 2012, 16 (04) : 537 - 541
  • [25] Implementation of real-time distributed control for discrete event robotic systems using Petri nets
    Gen’ichi Yasuda
    [J]. Artificial Life and Robotics, 2012, 16 (4) : 537 - 541
  • [26] 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
  • [27] VERIFYING UCM SPECIFICATIONS OF DISTRIBUTED SYSTEMS USING COLORED PETRI NETS
    Vizovitin, N. V.
    Nepomniaschy, V. A.
    Stenenko, A. A.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2015, 51 (02) : 213 - 222
  • [28] Synthesis and analysis of timing constraints for real-time embedded systems using modular TER nets
    Lee, Woo Jin
    Lee, Ho Kyoung
    [J]. WSEAS Transactions on Computers, 2007, 6 (05): : 741 - 748
  • [29] Schedulability analysis decision algorithm of timing constraint Petri nets
    Li, Huifang
    Li, Renhou
    [J]. Weidianzixue yu Jisuanji/Microelectronics & Computer, 2000, 17 (01): : 18 - 21
  • [30] REAL-TIME SPECIFICATION USING PETRI NETS
    SACHA, K
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 607 - 614
12345