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.


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

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

  1. Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří: Stubborn versus structural reductions for Petri nets (2019)
  2. Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James: Model checking real-time systems (2018)
  3. 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)
  4. Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří: Real-time strategy synthesis for timed-arc Petri net games via discretization (2016)
  5. Mateo, José Antonio; Srba, Jiří; Grund Sørensen, Mathias: Soundness of timed-arc workflow nets in discrete and continuous-time semantics (2015)
  6. 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)
  7. Le, Dinh-Thuan; Nguyen, Huu-Vu; Nguyen, Van-Tinh; Mai, Phuong-Nam; Pham-Duy, Bao-Trung; Quan, Thanh-Tho; André, Étienne; Petrucci, Laure; Liu, Yang: PeCAn: compositional verification of Petri nets made easy (2014)
  8. Mateo, José Antonio; Srba, Jiří; Sørensen, Mathias Grund: Soundness of timed-arc workflow nets (2014)
  9. 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)
  10. 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)
  11. Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří: Verification of timed-arc Petri nets (2011)
  12. Byg, Joakim; Jørgensen, Kenneth Yrke; Srba, Jiří: TAPAAL: editor, simulator and verifier of timed-arc Petri nets (2009) ioport