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

Varování

Publikace nespadá pod Fakultu sociálních studií, 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	https://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:	Institut Teoretické Informatiky