TAPAAL and Reachability Analysis of P/T Nets

JENSEN, Jonas F.; Thomas NIELSEN; Jiří SRBA a 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, s. 307-318. ISBN 978-3-662-53400-7. Dostupné z: https://doi.org/10.1007/978-3-662-53401-4_16.

Základní údaje

Originální název

TAPAAL and Reachability Analysis of P/T Nets

Autoři

JENSEN, Jonas F.; Thomas NIELSEN; Jiří SRBA a Lars K. OESTERGAARD

Vydání

Berlin, TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI, od s. 307-318, 12 s. 2016

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Odkazy

URL

Impakt faktor

Impact factor: 0.402 v roce 2005

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/16:00094046

Organizační jednotka

Fakulta informatiky

ISBN

978-3-662-53400-7

ISSN

DOI

https://doi.org/10.1007/978-3-662-53401-4_16

UT WoS

000388920300016

EID Scopus

2-s2.0-84988391867

Klíčová slova anglicky

Petri nets; model checking; TAPAAL; tools; reachability

---

Anotace

V originále

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.