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 | |
| Rok publikování | 2008 |
| Druh | Článek ve sborníku |
| Konference | 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08) |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | Petri nets; timed automata; expressiveness; overview |
| Popis | Č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 |
| Související projekty: |