TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

Joakim Byg, Kenneth Yrke Jørgensen, Jiri Srba

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

16 Citationer (Scopus)

Abstrakt

TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verification module translates timed-arc Petri net models into networks of timed automata and uses the UPPAAL engine for the automatic analysis. We report on the status of the first release of TAPAAL (available at www.tapaal.net), on its new modelling features and we demonstrate the efficiency and modelling capabilities of the tool on a few examples.
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind5799
Sider (fra-til)84-89
Antal sider6
ISSN0302-9743
DOI
StatusUdgivet - 2009
Begivenhed7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) - Macao SAR, Kina
Varighed: 13 okt. 200916 okt. 2009
Konferencens nummer: 7

Konference

Konference7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09)
Nummer7
LandKina
ByMacao SAR
Periode13/10/200916/10/2009

Bibliografisk note

Titel:
7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09)

Oversat titel:


Oversat undertitel:


Forlag:
Springer

ISBN (Trykt):
978-3-642-04760-2

ISBN (Elektronisk):


Publikationsserier:
Lecture Notes in Computer Science, Springer Verlag, 0302-9743, 1611-3349, 5799

Emneord

  • TAPAAL
  • timed-arc Petri nets
  • verification
  • UPPAAL

Fingeraftryk Dyk ned i forskningsemnerne om 'TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets'. Sammen danner de et unikt fingeraftryk.

Citationsformater