TAPAAL 2.0: Integrated Development Environment for Timed-Arc
Petri Nets

D 2012

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

DAVID, Alexandre; Lasse JACOBSEN; Morten JACOBSEN; Kenneth Y. JOERGENSEN; Mikael H. MOELLER et al.

Základní údaje

Originální název

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

Autoři

DAVID, Alexandre; Lasse JACOBSEN; Morten JACOBSEN; Kenneth Y. JOERGENSEN; Mikael H. MOELLER a Jiří SRBA

Vydání

Netherlands, Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), od s. 492-497, 6 s. 2012

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

Web

Impakt faktor

Impact factor: 0.402 v roce 2005

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/12:00062431

Organizační jednotka

Fakulta informatiky

ISBN

978-3-642-28755-8

ISSN

DOI

https://doi.org/10.1007/978-3-642-28756-5_36

UT WoS

000342900100036

Klíčová slova anglicky

verification; tool; timed-arc Petri nets; TAPAAL

Změněno: 23. 4. 2013 09:39, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

TAPAAL 2.0 is a platform-independent modelling, simulation and verification tool for extended timed-arc Petri nets. The tool supports component-based modelling and offers an automated verification of the EF, AG, EG and AF fragments of TCTL via translations to Uppaal timed automata and via its own dedicated verification engine. After more than three years of active development with a main focus on usability aspects and on the efficiency of the verification algorithms, we present the new version of TAPAAL 2.0 that has by now reached its maturity and offers the first publicly available tool supporting the analysis and verification of timed-arc Petri nets.

Návaznosti

LA09016, projekt VaV

Název: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Akronym: ERCIM)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Účast ČR v European Research Consortium for Informatics and Mathematics

Citovat

DAVID, Alexandre; Lasse JACOBSEN; Morten JACOBSEN; Kenneth Y. JOERGENSEN; Mikael H. MOELLER a Jiří SRBA. TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Netherlands: Springer, 2012, s. 492-497. ISBN 978-3-642-28755-8. Dostupné z: https://doi.org/10.1007/978-3-642-28756-5_36.

@inproceedings{1079130,
   author = {David, Alexandre and Jacobsen, Lasse and Jacobsen, Morten and Joergensen, Kenneth Y. and Moeller, Mikael H. and Srba, Jiří},
   address = {Netherlands},
   booktitle = {Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12)},
   doi = {https://doi.org/10.1007/978-3-642-28756-5_36},
   keywords = {verification; tool; timed-arc Petri nets; TAPAAL},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Netherlands},
   isbn = {978-3-642-28755-8},
   pages = {492-497},
   publisher = {Springer},
   title = {TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets},
   url = {http://dx.doi.org/10.1007/978-3-642-28756-5_36},
   year = {2012}
}

TY  - CONF
ID  - 1079130
AU  - David, Alexandre - Jacobsen, Lasse - Jacobsen, Morten - Joergensen, Kenneth Y. - Moeller, Mikael H. - Srba, Jiří
PY  - 2012
TI  - TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
PB  - Springer
CY  - Netherlands
SN  - 9783642287558
KW  - verification
KW  - tool
KW  - timed-arc Petri nets
KW  - TAPAAL
UR  - http://dx.doi.org/10.1007/978-3-642-28756-5_36
L2  - http://dx.doi.org/10.1007/978-3-642-28756-5_36
N2  - TAPAAL 2.0 is a platform-independent modelling, simulation and verification tool for extended timed-arc Petri nets. The tool supports component-based modelling and offers an automated verification of the EF, AG, EG and AF fragments of TCTL via translations to Uppaal timed automata and via its own dedicated verification engine. After more than three years of active development with a main focus on usability aspects and on the efficiency of the verification algorithms, we present the new version of TAPAAL 2.0 that has by now reached its maturity and offers the first publicly available tool supporting the analysis and verification of timed-arc Petri nets.
ER  -

DAVID, Alexandre; Lasse JACOBSEN; Morten JACOBSEN; Kenneth Y. JOERGENSEN; Mikael H. MOELLER a Jiří SRBA. TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. In \textit{Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12)}. Netherlands: Springer, 2012, s.~492-497. ISBN~978-3-642-28755-8. Dostupné z: https://doi.org/10.1007/978-3-642-28756-5\_{}36.

Přehled o publikaci