TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
| Název česky | TAPAAL: Redaktor, simulátor a ověřovatel Timed-Arc Petriho sítě |
|---|---|
| Autoři | |
| Rok publikování | 2009 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), pages 84-89, volume 5799 of LNCS, Springer-Verlag, 2009 |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | http://dx.doi.org/10.1007/978-3-642-04761-9_7 |
| Obor | Informatika |
| Klíčová slova | TAPAAL; timed-arc Petri nets; verification; tool |
| Popis | TAPAAL je nová platforma nezávislý nástroj pro modelování, simulace a verifikace časovaných-oblouku Petriho sítě. TAPAAL poskytuje stand-alone "editor a simulátor, zatímco ověření modulu překládá-oblouk časované Petriho sítě modely do sítě časovaných automatů a využívá UPPAAL motor pro automatické analýzy. Máme zprávy o stavu prvního vydání TAPAAL (k dispozici na www.tapaal.net) na její nové modelovací funkce a ukážeme, účinnosti a modelování schopností nástroje na několika příkladech. |
| Související projekty: |