Development of real-time system specifications through the refinement of duration interval Petri nets

被引：0
|
作者：
Gurovic, D [1 ]
Fengler, W [1 ]
Nützel, J [1 ]
机构：
[1] Tech Univ Ilmenau, Dept Comp Sci & Automat, D-98693 Ilmenau, Germany
来源：
SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5 | 2000年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper aims at the development of an engineering technique for the construction of systems through the refinement of duration interval transitions. Our theoretical system model is based on so-called interval time Petri nets. Duration interval transitions turn out to be syntactical abbreviation for a certain structure of interval time Petri nets. The kind of the used refinement technique preserves the safety property and guarantees that the refined system behaves neither slower nor faster than the unrefined one. The application of our approach lies in the development of time correct system specifications.
引用
收藏
页码：3098 / 3103
页数：6
相关论文
共 50 条
  • [1] TIMING CONSTRAINT PETRI NETS AND THEIR APPLICATION TO SCHEDULABILITY ANALYSIS OF REAL-TIME SYSTEM SPECIFICATIONS
    TSAI, JJP
    YANG, SJ
    CHANG, YH
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (01) : 32 - 49
  • [2] Real-time synchronised Petri nets
    Serugendo, GD
    Mandrioli, D
    Buchs, D
    Guelfi, N
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 142 - 162
  • [3] Stubborn Sets for Real-Time Petri Nets
    Robert H. Sloan
    Ugo Buy
    [J]. Formal Methods in System Design, 1997, 11 : 23 - 40
  • [4] Stubborn sets for real-time Petri nets
    Sloan, RH
    Buy, U
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1997, 11 (01) : 23 - 40
  • [5] REAL-TIME PROGRAMS TESTING WITH PETRI NETS
    LAMARCHE, G
    TAILLIBERT, P
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 83 - 87
  • [6] Real-time implementation of Petri nets into PLC
    Pivonka, Petr
    Chomat, Ludek
    [J]. PROCEEDING OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS: COMPUTER SCIENCE AND TECHNOLOGY, VOL 4, 2007, : 585 - +
  • [7] REAL-TIME SPECIFICATION USING PETRI NETS
    SACHA, K
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 607 - 614
  • [8] Analysis of real-time system conflict based on fuzzy time Petri nets
    Tian, Zhao
    Zhang, Zun-Dong
    Ye, Yang-Dong
    Jia, Li-Min
    [J]. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2014, 26 (02) : 983 - 991
  • [9] Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTLx
    He, Leifeng
    Liu, Guanjun
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2023, 19 (08) : 8784 - 8794
  • [10] Casting preemptive time Petri nets in the development life cycle of real-time software
    Carnevali, Laura
    Sassoli, Luigi
    Vicario, Enrico
    [J]. 19TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2007, : 291 - +
12345