Bridging the gap between Timed Automata and bounded Time Petri Nets

被引：0
|
作者：
Berthomieu, Bernard [1 ]
Peres, Florent [1 ]
Vernadat, Francois [1 ]
机构：
[1] CNRS, LAAS, F-31077 Toulouse, France
来源：
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS | 2006年 / 4202卷
关键词：
Time Petri nets; priorities; Timed Automata; weak timed bisimilarity; real-time systems modeling and verification;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Several recent papers investigate the relative expressiveness of Timed Automata and Time Petri Nets, two widespread models for realtime systems. It has been shown notably that Timed Automata and Bounded Time Petri Nets are equally expressive in terms of timed language acceptance, but that Timed Automata are strictly more expressive in terms of weak timed bisimilarity. This paper compares Timed Automata with Bounded Time Petri Nets extended with static Priorities, and shows that two large subsets of these models are equally expressive in terms of weak timed bisimilarity.
引用
收藏
页码：82 / 97
页数：16
相关论文
共 50 条
  • [31] Processes of timed Petri nets
    Winkowski, J
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 1 - 34
  • [32] Timed Catalytic Petri Nets
    Aman, Bogdan
    Ciobanu, Gabriel
    Pinna, G. Michele
    14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 319 - 326
  • [33] TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
    Byg, Joakim
    Jacobsen, Morten
    Jacobsen, Lasse
    Jorgensen, Kenneth Yrke
    Moller, Mikael Harkjaer
    Srba, Jiri
    THEORETICAL COMPUTER SCIENCE, 2014, 537 : 3 - 28
  • [34] Invariants of Timed Petri Nets
    D. A. Zaitsev
    Cybernetics and Systems Analysis, 2004, 40 (2) : 226 - 237
  • [35] Fuzzy timed Petri nets
    Pedrycz, W
    Camargo, H
    FUZZY SETS AND SYSTEMS, 2003, 140 (02) : 301 - 330
  • [36] Approaching Minimal Time Control Sequences for Timed Petri Nets
    Lefebvre, Dimitri
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2016, 13 (02) : 1215 - 1221
  • [37] Approaching minimum time control of timed continuous Petri nets
    Apaydin-Oezkan, Hanife
    Julvez, Jorge
    Mahulea, Cristian
    Silva, Manuel
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2011, 5 (02) : 136 - 148
  • [38] TRANSFORMATION OF TIMED PETRI NETS FOR RESPONSE-TIME ESTIMATION
    OH, HR
    CHUNG, WH
    KIM, M
    IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1990, 137 (01): : 74 - 80
  • [39] Timed Arc Petri Nets: The Time-Element Approach
    Yufka, Alpaslan
    Ozkan, Hanife Apaydin
    Aybar, Aydin
    2017 10TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), 2017, : 794 - 798
  • [40] Model checking Bounded Prioritized Time Petri Nets
    Berthomieu, Bernard
    Peres, Florent
    Vernadat, Francois
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 523 - +
12345