Informace o publikaci
An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata
| Název česky | Překlad Efektivní of Timed-Arc Petriho sítě pro sítě Dočasný automatů |
|---|---|
| Autoři | |
| 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 | |
| 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: |