TAPAAL

TAPAAL: editor, simulator and verifier of timed-arc Petri nets. 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 url{www.tapaal.net}), on its new modelling features and we demonstrate the efficiency and modelling capabilities of the tool on a few examples.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 10 articles , 2 standard articles )

Showing results 1 to 10 of 10.
Sorted by year (citations)

  1. Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James: Model checking real-time systems (2018)
  2. Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří: Extended dependency graphs and efficient distributed fixed-point computation (2017)
  3. Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří: Real-time strategy synthesis for timed-arc Petri net games via discretization (2016)
  4. Mateo, José Antonio; Srba, Jiří; Grund Sørensen, Mathias: Soundness of timed-arc workflow nets in discrete and continuous-time semantics (2015)
  5. Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří: TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (2014)
  6. Mateo, José Antonio; Srba, Jiří; Sørensen, Mathias Grund: Soundness of timed-arc workflow nets (2014)
  7. Viesmose Birch, Sine; Stig Jacobsen, Thomas; Jon Jensen, Jacob; Moesgaard, Christoffer; Nørgaard Samuelsen, Niels; Srba, Jiří: Interval abstraction refinement for model checking of timed-arc Petri nets (2014)
  8. David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří: TAPAAL 2.0: integrated development environment for timed-arc Petri nets (2012)
  9. Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří: Verification of timed-arc Petri nets (2011)
  10. Byg, Joakim; Jørgensen, Kenneth Yrke; Srba, Jiří: TAPAAL: editor, simulator and verifier of timed-arc Petri nets (2009) ioport