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.
CITATION STYLE
Jensen, J. F., Nielsen, T., Oestergaard, L. K., & Srba, J. (2016). TAPAAL and reachability analysis of P/T nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9930 LNCS, pp. 307–318). Springer Verlag. https://doi.org/10.1007/978-3-662-53401-4_16
Mendeley helps you to discover research relevant for your work.