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

Alexandre David; Lasse Jacobsen; Morten Jacobsen; Kenneth Yrke Jørgensen; Mikael Harkjær Møller; Jiri Srba

doi:10.1007/978-3-642-28756-5_36

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

Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael Harkjær Møller, Jiri Srba

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

54 Citations (Scopus)

Abstract

TAPAAL 2.0 is a platform-independent modelling, simula-
tion and verification tool for extended timed-arc Petri nets. The tool
supports component-based modelling and offers an automated verifica-
tion 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 ma-
turity and offers the first publicly available tool supporting the analysis
and verification of timed-arc Petri nets.

Original language	English
Title of host publication	International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12)
Editors	Cormac Flanagan, Barbara König
Number of pages	6
Place of Publication	Netherlands
Publisher	Springer
Publication date	2012
Pages	492-497
ISBN (Print)	978-3-642-28755-8
DOIs	https://doi.org/10.1007/978-3-642-28756-5_36
Publication status	Published - 2012
Event	TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - Tallinn, Estonia Duration: 24 Mar 2012 → 1 Apr 2012 Conference number: 18th

Conference

Conference	TACAS 2012
Number	18th
Country/Territory	Estonia
City	Tallinn
Period	24/03/2012 → 01/04/2012

Series	Lecture Notes in Computer Science
Volume	7214

Keywords

TAPAAL, real time model checking, verification, tool

Access to Document

10.1007/978-3-642-28756-5_36

http://www.springerlink.com/content/w136158782276513/?MUD=MP

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

David, A., Jacobsen, L., Jacobsen, M., Jørgensen, K. Y., Møller, M. H., & Srba, J. (2012). TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. In C. Flanagan, & B. König (Eds.), International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12) (pp. 492-497). Springer. https://doi.org/10.1007/978-3-642-28756-5_36

David, Alexandre ; Jacobsen, Lasse ; Jacobsen, Morten et al. / TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). editor / Cormac Flanagan ; Barbara König. Netherlands : Springer, 2012. pp. 492-497 (Lecture Notes in Computer Science, Vol. 7214).

@inproceedings{0eb647c325e344ca9be04c48c5eb82c5,

title = "TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets",

abstract = "TAPAAL 2.0 is a platform-independent modelling, simula-tion and verification tool for extended timed-arc Petri nets. The toolsupports component-based modelling and offers an automated verifica-tion of the EF, AG, EG and AF fragments of TCTL via translations toUppaal timed automata and via its own dedicated verification engine.After more than three years of active development with a main focus onusability aspects and on the efficiency of the verification algorithms, wepresent the new version of TAPAAL 2.0 that has by now reached its ma-turity and offers the first publicly available tool supporting the analysisand verification of timed-arc Petri nets.",

keywords = "TAPAAL, real time model checking, verification, tool",

author = "Alexandre David and Lasse Jacobsen and Morten Jacobsen and J{\o}rgensen, {Kenneth Yrke} and M{\o}ller, {Mikael Harkj{\ae}r} and Jiri Srba",

year = "2012",

doi = "10.1007/978-3-642-28756-5_36",

language = "English",

isbn = "978-3-642-28755-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "492--497",

editor = "Cormac Flanagan and Barbara K{\"o}nig",

booktitle = "International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12)",

address = "Germany",

note = "TACAS 2012 ; Conference date: 24-03-2012 Through 01-04-2012",

}

David, A, Jacobsen, L, Jacobsen, M, Jørgensen, KY, Møller, MH & Srba, J 2012, TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. in C Flanagan & B König (eds), International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Springer, Netherlands, Lecture Notes in Computer Science, vol. 7214, pp. 492-497, TACAS 2012, Tallinn, Estonia, 24/03/2012. https://doi.org/10.1007/978-3-642-28756-5_36

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. / David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten et al.
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). ed. / Cormac Flanagan; Barbara König. Netherlands: Springer, 2012. p. 492-497 (Lecture Notes in Computer Science, Vol. 7214).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

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

AU - David, Alexandre

AU - Jacobsen, Lasse

AU - Jacobsen, Morten

AU - Jørgensen, Kenneth Yrke

AU - Møller, Mikael Harkjær

AU - Srba, Jiri

N1 - Conference code: 18th

PY - 2012

Y1 - 2012

N2 - TAPAAL 2.0 is a platform-independent modelling, simula-tion and verification tool for extended timed-arc Petri nets. The toolsupports component-based modelling and offers an automated verifica-tion of the EF, AG, EG and AF fragments of TCTL via translations toUppaal timed automata and via its own dedicated verification engine.After more than three years of active development with a main focus onusability aspects and on the efficiency of the verification algorithms, wepresent the new version of TAPAAL 2.0 that has by now reached its ma-turity and offers the first publicly available tool supporting the analysisand verification of timed-arc Petri nets.

AB - TAPAAL 2.0 is a platform-independent modelling, simula-tion and verification tool for extended timed-arc Petri nets. The toolsupports component-based modelling and offers an automated verifica-tion of the EF, AG, EG and AF fragments of TCTL via translations toUppaal timed automata and via its own dedicated verification engine.After more than three years of active development with a main focus onusability aspects and on the efficiency of the verification algorithms, wepresent the new version of TAPAAL 2.0 that has by now reached its ma-turity and offers the first publicly available tool supporting the analysisand verification of timed-arc Petri nets.

KW - TAPAAL, real time model checking, verification, tool

UR - http://www.scopus.com/inward/record.url?scp=84859308925&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-28756-5_36

DO - 10.1007/978-3-642-28756-5_36

M3 - Article in proceeding

SN - 978-3-642-28755-8

T3 - Lecture Notes in Computer Science

SP - 492

EP - 497

BT - International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12)

A2 - Flanagan, Cormac

A2 - König, Barbara

PB - Springer

CY - Netherlands

T2 - TACAS 2012

Y2 - 24 March 2012 through 1 April 2012

ER -

David A, Jacobsen L, Jacobsen M, Jørgensen KY, Møller MH, Srba J. TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. In Flanagan C, König B, editors, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Netherlands: Springer. 2012. p. 492-497. (Lecture Notes in Computer Science, Vol. 7214). doi: 10.1007/978-3-642-28756-5_36

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

Abstract

Conference

Keywords

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this