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 条
  • [21] Timed petri nets
    Advances in Automation and Robotics, 1990, 2
  • [22] Alternating Timed Automata over Bounded Time
    Jenkins, Mark
    Ouaknine, Joel
    Rabinovich, Alexander
    Worrell, James
    25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 60 - 69
  • [23] Timed processes of timed Petri nets
    Valero, V
    deFrutos, D
    Cuartero, F
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 490 - 509
  • [24] A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
    David, Alexandre
    Jacobsen, Lasse
    Jacobsen, Morten
    Srba, Jiri
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (102): : 125 - 140
  • [25] Adaptive Time Warp simulation of timed Petri nets
    Ferscha, A
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1999, 25 (02) : 237 - 257
  • [26] Adaptive time warp simulation of timed Petri nets
    Institut für Angewandte Informatik, Universität Wien, Lenaugasse 2/8, A-1080 Vienna, Austria
    IEEE Trans Software Eng, 2 (237-257):
  • [27] Modeling of safe timed Petri nets by two -level (max, plus ) automata
    Komenda, Jan
    Zorzenon, Davide
    Balun, Jiri
    IFAC PAPERSONLINE, 2022, 55 (28): : 212 - 219
  • [28] Modelling approach for Discrete Event Systems through Petri Nets and Timed Automata
    Mhamdi, L.
    Dhouibi, H.
    Simeu-Abazi, Z.
    Liouane, N.
    2013 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2013, : 166 - 171
  • [29] Behaviour Equivalent Max-Plus Automata for a Class of Timed Petri Nets
    Triska, Lukas
    Moor, Thomas
    IFAC PAPERSONLINE, 2020, 53 (04): : 75 - 82
  • [30] Timed approximate Petri nets
    Suraj, Zbigniew
    Fryc, Barbara
    FUNDAMENTA INFORMATICAE, 2006, 71 (01) : 83 - 99
12345