TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F09%3A00038050" target="_blank" >RIV/00216224:14330/09:00038050 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216224:14330/09:00067164
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
Popis výsledku v původním jazyce
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verification module translates timed-arc Petri net models into networks of timed automata and uses the UPPAAL engine for the automatic analysis. We report on the status of the first release of TAPAAL (available at www.tapaal.net), on its new modelling features and we demonstrate the efficiency and modelling capabilities of the tool ona few examples.
Název v anglickém jazyce
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
Popis výsledku anglicky
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verification module translates timed-arc Petri net models into networks of timed automata and uses the UPPAAL engine for the automatic analysis. We report on the status of the first release of TAPAAL (available at www.tapaal.net), on its new modelling features and we demonstrate the efficiency and modelling capabilities of the tool ona few examples.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2009
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), pages 84-89, volume 5799 of LNCS, Springer-Verlag, 2009
ISBN
978-3-642-04760-2
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
6
Strana od-do
—
Název nakladatele
Springer Verlag
Místo vydání
Netherlands
Místo konání akce
Macao
Datum konání akce
1. 1. 2009
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—