2008
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
SRBA, JiříZákladní údaje
Originální název
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Název česky
Porovnání výrazové síly časových automatů a časových rozšíření Petriho sítí
Autoři
SRBA, Jiří
Vydání
Netherlands, 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08), od s. 15-32, 17 s. 2008
Nakladatel
Springer-Verlag
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Francie
Utajení
není předmětem státního či obchodního tajemství
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/08:00027309
Organizační jednotka
Fakulta informatiky
ISBN
978-3-540-85777-8
UT WoS
Klíčová slova česky
Petriho site; casove automaty; expresivita; prehled
Klíčová slova anglicky
Petri nets; timed automata; expressiveness; overview
Štítky
Příznaky
Mezinárodní význam
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.
Česky
Č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
Návaznosti
| MSM0021622419, záměr |
|