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 条
  • [31] Modeling and analysis of real-time cooperative systems using Petri nets
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (05): : 643 - 654
  • [32] Integrating Petri nets with design methods for concurrent and real-time systems
    Pettit, RG
    Gomaa, H
    [J]. SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 168 - 171
  • [33] SPECIFICATION AND VALIDATION OF REAL-TIME SYSTEMS BY MEANS OF PETRI QUEUE NETS
    MARTIN, R
    MEMMI, G
    [J]. REVUE TECHNIQUE THOMSON-CSF, 1981, 13 (03): : 635 - 653
  • [34] Real-time model for processing both scheduling and Petri nets approaches
    Mabed, M
    Bourcerie, M
    [J]. Modelling and Simulation 2003, 2003, : 489 - 493
  • [35] Improving real-time identification of Petri Nets using timing information
    Basile, Francesco
    Chiacchio, Pasquale
    De Tommasi, Gianmaria
    [J]. 2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009), 2009,
  • [36] Specification and analysis of real-time systems using csp and petri nets
    Kavi, KM
    Sheldon, FT
    Reed, S
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (02) : 229 - 248
  • [37] A model in Petri nets to analyze quality of service in real-time databases
    Neto, PFR
    Perkusich, MLB
    [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 300 - 305
  • [38] Real-time specifications
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Nyman, Ulrik
    Traonouez, Louis-Marie
    Wasowski, Andrzej
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (01) : 17 - 45
  • [39] Real-time specifications
    Alexandre David
    Kim G. Larsen
    Axel Legay
    Ulrik Nyman
    Louis-Marie Traonouez
    Andrzej Wąsowski
    [J]. International Journal on Software Tools for Technology Transfer, 2015, 17 : 17 - 45
  • [40] Mapping RT-LOTOS specifications into time petri nets
    Sadani, Tarek
    Boyer, Marc
    De Saqui-Sannes, Pierre
    Courtiat, Jean-Pierre
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4260 LNCS : 360 - 379
12345