Tool Exhibition – Petri Nets 2017 & ACSD 2017

Tool Session

Thursday, 29 June 2017, 14:15 h – 15:15 h

List of Tools:Workcraft” – “TAPAAL” – “Travis” – “Petrixx” – “IMITATOR” – “Petri Nets Repository” – “ITS-tools” – “DICE SimTool” – “Tina” – “PN-Suite

Tool Name: Workcraft

Tool Name: TAPAAL

  • Description: TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets
  • Web link:
  • Author: Jiri Srba – Department of Computer Science, Aalborg University, Denmark
  • E-mailsrba (at)

Tool Name: Travis

Tool Name: Petrixx


  • Description: IMITATOR is a software tool for parametric verification and robustness analysis of real-time systems. It relies on the formalism of networks of parametric timed automata, augmented with integer variables and stopwatches.
  • Web link:
  • Link to the IMITATOR practicals for the Tutorial “Parametric Verification” at PN/ACSD 2017:
  • Author: Étienne André – Université Paris 13, France
  • E-mailEtienne.Andre (at)

Tool Name: Petri Nets Repository

  • Description: Petri Net Repository is a Web application and a Web service that offers a large collection of Petri net models provided by the community.There is no need for infrastructure support. All we need is an Internet access.
  • Web link
  • Author: Lom Messan Hillah and Fabrice Kordon – Université Paris 06, France
  • E-mail: Lom-Messan.Hillah (at)

Tool Name:  ITS-tools

  • Description: ITS-tools is a multi-solution model-checker for  multiple formalisms. Including several variants of PN such as Symmetric nets (pnml), time Petri nets, P/T nets, and their compositions.
  • Web link
  • Author: Yann Thierry-Mieg, Laboratoire d’Informatique de Paris 6 (LIP6) – Université Pierre et Marie Curie
  • E-mailYann.Thierry-Mieg (at)

Tool Name:  DICE SimTool

  • Description: SimTool is a tool for assessing systems QoS. SimTool allows UML modeling and automatically creates and analyses Petri nets for computing several QoS metrics (e.g., throughput, utilization, service time, availability or MTTF).
  • Web link
  • Author: DiSCo Group – Universidad de Zaragoza
  • E-mailjmerse (at)

Tool Name:  Tina

  • Description: Tina is a toolbox for the editing, simulation and model-checking of Petri nets, Time Petri nets and high-level extensions described in the language Fiacre.
  • Web link
  • Author: Bernard Berthomieu and the VERTICS team – LAAS/CNRS, Toulouse, France
  • E-mailBernard.Berthomieu (at)

Tool Name:  PN-Suite

  • Description: PN-Suite implements five slicing algorithms and combines them with the analysis of properties (using LoLA and APT) in such a way that one can reduce the size of a Petri net preserving some desired properties.
  • Web link
  • Author: Salvador Tamarit – Universitat Politècnica de València, Spain.
  • E-mailstamarit (at)