TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	TAPAAL: Redaktor, simulátor a ověřovatel Timed-Arc Petriho sítě
Autoři	BYG Joakim JOERGENSEN Kenneth Yrke SRBA Jiří
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	Fakulta informatiky
Citace
Doi	https://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:	Vysoce paralelní a distribuované výpočetní systémy