Další formáty:
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 a 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, s.~307-318. ISBN~978-3-662-53400-7. Dostupné z: https://dx.doi.org/10.1007/978-3-662-53401-4\_{}16.
|
