An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Překlad Efektivní of Timed-Arc Petriho sítě pro sítě Dočasný automatů
Autoři

BYG Joakim JOERGENSEN Kenneth Yrke SRBA Jiří

Rok publikování 2009
Druh Článek ve sborníku
Konference Proceedings of 11th International Conference on Formal Engineering Methods (ICFEM'09), pages 698-716 , volume 5885 of LNCS, Springer-Verlag, 2009.
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi http://dx.doi.org/10.1007/978-3-642-10373-5_36
Obor Informatika
Klíčová slova timed-arc Petri nets; verification; timed automata
Popis English to Czech translationShow romanization Časově ohraničené-oblouk Petriho sítí se číst-oblouky byly v nedávné době prokázáno, odpovídá na sítě časované automaty, i když model Petriho sítě nemohou vyjádřit naléhavou chování a popsané vzájemné překlady jsou poměrně neefektivní. Navrhujeme rozšíření měřeného oblouku-invarianty Petriho sítí vymáhat naléhavosti a doprava oblouky zobecnit číst-oblouky. Také popisuje překlad románu z rozšířeného časově-oblouk model Petriho sítě do sítě časovaných automatů. Překlad je implementována v nástroji TAPAAL a používá UPPAAL jako ověření motor. Naše experimenty potvrdily účinnost překladu a v některých případech si ověřit modely výrazně rychlejší než nativní UPPAAL modely dělat.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.