Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1376943, author = {Jensen, Jonas F. and Nielsen, Thomas and Srba, Jiří and Oestergaard, Lars K.}, address = {Berlin}, booktitle = {TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI}, doi = {http://dx.doi.org/10.1007/978-3-662-53401-4_16}, keywords = {Petri nets; model checking; TAPAAL; tools; reachability}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Berlin}, isbn = {978-3-662-53400-7}, pages = {307-318}, publisher = {Springer}, title = {TAPAAL and Reachability Analysis of P/T Nets}, url = {http://link.springer.com/chapter/10.1007%2F978-3-662-53401-4_16}, year = {2016} }
TY - JOUR ID - 1376943 AU - Jensen, Jonas F. - Nielsen, Thomas - Srba, Jiří - Oestergaard, Lars K. PY - 2016 TI - TAPAAL and Reachability Analysis of P/T Nets PB - Springer CY - Berlin SN - 9783662534007 KW - Petri nets KW - model checking KW - TAPAAL KW - tools KW - reachability UR - http://link.springer.com/chapter/10.1007%2F978-3-662-53401-4_16 L2 - http://link.springer.com/chapter/10.1007%2F978-3-662-53401-4_16 N2 - 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. ER -
JENSEN, Jonas F., Thomas NIELSEN, Jiří SRBA and Lars K. OESTERGAARD. TAPAAL and Reachability Analysis of P/T Nets. In \textit{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.
|