@inbook{907f8a9ca1c04478b18c905640ffeabe,
title = "TAPAAL and Reachability Analysis of P/T Nets",
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. ",
keywords = "model checking, Petri nets, verification, reachability",
author = "Jensen, {Jonas Finnemann} and Nielsen, {Thomas S{\o}nders{\o}} and {\O}stergaard, {Lars K{\ae}rlund} and Jiri Srba",
year = "2016",
doi = "10.1007/978-3-662-53401-4_16",
language = "English",
isbn = "978-3-662-53400-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "307--318",
booktitle = "Transactions on Petri Nets and Other Models of Concurrency XI",
address = "Germany",
}