TAPAAL and Reachability Analysis of P/T Nets
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
TAPAAL and Reachability Analysis of P/T Nets
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI
ISBN
9783662534007
ISSN
0302-9743
e-ISSN
—
Number of pages
12
Pages from-to
307-318
Publisher name
Springer
Place of publication
Berlin
Event location
Berlin
Event date
Jan 1, 2016
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
000388920300016