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 条

[41] Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
Mhamdi, L.
Dhouibi, H.
Simeu-Abazi, Z.
Liouane, N.
INTERNATIONAL JOURNAL OF ENGINEERING, 2014, 27 (01): : 113 - 121
[42] Limits of fluidification for a stochastic Petri Nets by timed continuous Petri Nets
Benaya, N.
El-Akchioui, N.
Mourabit, T.
2018 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND COMPUTER VISION (ISCV2018), 2018,
[43] DP AUTOMATA AND PETRI NETS
Kere, Monica
KEPT 2011: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES, 2011, : 305 - 314
[44] Petri nets, situations, and automata
Kindler, E
APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 217 - 236
[45] Pushdown automata, multiset automata, and Petri nets
Hirshfeld, Y
Moller, F
THEORETICAL COMPUTER SCIENCE, 2001, 256 (1-2) : 3 - 21
[46] On controllability of timed continuous Petri nets
Vazquez, C. Renato
Ramirez, Antonio
Recalde, Laura
Silva, Manuel
HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2008, 4981 : 528 - +
[47] Fuzzy multimodel of timed Petri nets
Hennequin, S
Lefebvre, D
El Moudni, A
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2001, 31 (02): : 245 - 251
[48] Generalized Timed Stochastic Petri Nets
Ivanov, N. N.
Automation and Remote Control (English translation of Avtomatika i Telemekhanika), 1996, 57 (02):
[49] Timed Petri Nets as a verification tool
Barad, M
1998 WINTER SIMULATION CONFERENCE PROCEEDINGS, VOLS 1 AND 2, 1998, : 547 - 554
[50] Determinization of timed Petri nets behaviors
Jan Komenda
Sébastien Lahaye
Jean-Louis Boimond
Discrete Event Dynamic Systems, 2016, 26 : 413 - 437

← 1 2 3 4 5 →