JENSEN, Jonas F., Thomas NIELSEN, Jiří SRBA and Lars K. OESTERGAARD. TAPAAL and Reachability Analysis of P/T Nets. In TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI. Berlin: Springer, 2016, p. 307-318. ISBN 978-3-662-53400-7. Available from: https://dx.doi.org/10.1007/978-3-662-53401-4_16.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name TAPAAL and Reachability Analysis of P/T Nets
Authors JENSEN, Jonas F. (208 Denmark), Thomas NIELSEN (208 Denmark), Jiří SRBA (203 Czech Republic, guarantor, belonging to the institution) and Lars K. OESTERGAARD (208 Denmark).
Edition Berlin, TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI, p. 307-318, 12 pp. 2016.
Publisher Springer
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Netherlands
Confidentiality degree is not subject to a state or trade secret
Publication form printed version "print"
WWW URL
Impact factor Impact factor: 0.402 in 2005
RIV identification code RIV/00216224:14330/16:00094046
Organization unit Faculty of Informatics
ISBN 978-3-662-53400-7
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-662-53401-4_16
UT WoS 000388920300016
Keywords in English Petri nets; model checking; TAPAAL; tools; reachability
Changed by Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2017 07:14.
Abstract
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.
PrintDisplayed: 10/10/2024 18:33