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: http://www.tapaal.net/
  • Author: Jiri Srba – Department of Computer Science, Aalborg University, Denmark
  • E-mailsrba (at) cs.aau.dk

Tool Name: Travis

Tool Name: Petrixx

Tool Name: IMITATOR

  • 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: http://www.imitator.fr
  • Link to the IMITATOR practicals for the Tutorial "Parametric Verification" at PN/ACSD 2017: http://www.imitator.fr/tutorials/PN17/
  • Author: Étienne André - Université Paris 13, France
  • E-mailEtienne.Andre (at) lipn13.fr

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 linkhttp://pnrepository.lip6.fr
  • Author: Lom Messan Hillah and Fabrice Kordon - Université Paris 06, France
  • E-mail: Lom-Messan.Hillah (at) lip6.fr

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 linkhttp://ddd.lip6.fr
  • Author: Yann Thierry-Mieg, Laboratoire d'Informatique de Paris 6 (LIP6) - Université Pierre et Marie Curie
  • E-mailYann.Thierry-Mieg (at) lip6.fr

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 linkhttps://github.com/dice-project/DICE-Simulation
  • Author: DiSCo Group – Universidad de Zaragoza
  • E-mailjmerse (at) unizar.es

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 linkhttp://www.laas.fr/tina
  • Author: Bernard Berthomieu and the VERTICS team - LAAS/CNRS, Toulouse, France
  • E-mailBernard.Berthomieu (at) laas.fr

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 linkhttps://github.com/tamarit/pn_suite
  • Author: Salvador Tamarit - Universitat Politècnica de València, Spain.
  • E-mailstamarit (at) dsic.upv.es