Detailed Information on Publication Record
2008
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
SRBA, JiříBasic information
Original name
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Name in Czech
Porovnání výrazové síly časových automatů a časových rozšíření Petriho sítí
Authors
SRBA, Jiří (203 Czech Republic, guarantor)
Edition
Netherlands, 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08), p. 15-32, 17 pp. 2008
Publisher
Springer-Verlag
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
France
Confidentiality degree
není předmětem státního či obchodního tajemství
RIV identification code
RIV/00216224:14330/08:00027309
Organization unit
Faculty of Informatics
ISBN
978-3-540-85777-8
UT WoS
000260375100003
Keywords (in Czech)
Petriho site; casove automaty; expresivita; prehled
Keywords in English
Petri nets; timed automata; expressiveness; overview
Tags
International impact
Změněno: 24/3/2010 15:25, Prof. Jiří Srba, Ph.D.
V originále
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.
In Czech
Čas závislé modely byly intenzivně studovány z mnoha důvodů, mimo jiné proto, že jejich aplikací v softwaru ověřování a vzhledem k vývoji embedded platformy, kde je spolehlivost a bezpečnost závisí do značné míry na časové funkce. Mnoho z doby závislé modely byly navrženy jako real-time rozšíření několika dobře-známý untimed modely. Nejvíce studoval formalismů patří Networks of Timed automatů, které rozšiřují model komunikace konečný-automaty s konečným počtem skutečně-cenil hodiny a termínované rozšíření Petriho sítí, kde zní době buduje patří např. časových intervalech, které jsou přiřazeny k přechodu (Time Petriho sítě) nebo oblouky (Timed-Arc Petriho sítě). V této diskuse, budeme polo-oficiálně představit tyto modely, diskutovat o svých silných a slabých stránek, a poskytnout přehled o známé výsledky týkající se vztahů mezi modely. Contribute a better translation
Links
| MSM0021622419, plan (intention) |
|