Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{807671,
author = {Srba, Jiří},
address = {Netherlands},
booktitle = {6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08)},
keywords = {Petri nets; timed automata; expressiveness; overview},
language = {eng},
location = {Netherlands},
isbn = {978-3-540-85777-8},
note = {Invited talk},
pages = {15-32},
publisher = {Springer-Verlag},
title = {Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets},
year = {2008}
}
TY - JOUR
ID - 807671
AU - Srba, Jiří
PY - 2008
TI - Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
PB - Springer-Verlag
CY - Netherlands
SN - 9783540857778
N1 - Invited talk
KW - Petri nets
KW - timed automata
KW - expressiveness
KW - overview
N2 - Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded platforms where reliability and safety depend to a large extent on the time features. Many of the time dependant models were suggested as real-time extensions of several well-known untimed models. The most studied formalisms include Networks of Timed Automata which extend the model of communicating finite-state machines with a finite number of real-valued clocks, and timed extensions of Petri nets where the added time constructs include e.g. time intervals that are assigned to the transitions (Time Petri Nets) or to the arcs (Timed-Arc Petri Nets). In this talk, we shall semi-formally introduce these models, discuss their strengths and weaknesses, and provide an overview of the known results about the relationships among the models.
ER -
SRBA, Jiří. Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. In \textit{6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08)}. Netherlands: Springer-Verlag, 2008, s.~15-32, 17 s. ISBN~978-3-540-85777-8.
|
