TAPAAL and Reachability Analysis of P/T 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%2F16%3A00094046" target="_blank" >RIV/00216224:14330/16:00094046 - isvavai.cz</a>
Výsledek na webu
<a href="http://link.springer.com/chapter/10.1007%2F978-3-662-53401-4_16" target="_blank" >http://link.springer.com/chapter/10.1007%2F978-3-662-53401-4_16</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-662-53401-4_16" target="_blank" >10.1007/978-3-662-53401-4_16</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
TAPAAL and Reachability Analysis of P/T Nets
Popis výsledku v původním jazyce
We discuss selected model checking techniques used in the tool TAPAAL for the reachability analysis of weighted Petri nets with inhibitor arcs. We focus on techniques that had the most significant effect at the 2015 Model Checking Contest (MCC). While the techniques are mostly well known, our contribution lies in their adaptation to the MCC reachability queries, their efficient implementation and the evaluation of their performance on a large variety of nets from MCC’15.
Název v anglickém jazyce
TAPAAL and Reachability Analysis of P/T Nets
Popis výsledku anglicky
We discuss selected model checking techniques used in the tool TAPAAL for the reachability analysis of weighted Petri nets with inhibitor arcs. We focus on techniques that had the most significant effect at the 2015 Model Checking Contest (MCC). While the techniques are mostly well known, our contribution lies in their adaptation to the MCC reachability queries, their efficient implementation and the evaluation of their performance on a large variety of nets from MCC’15.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2016
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
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI
ISBN
9783662534007
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
12
Strana od-do
307-318
Název nakladatele
Springer
Místo vydání
Berlin
Místo konání akce
Berlin
Datum konání akce
1. 1. 2016
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
000388920300016