VipTool

VipTool is a tool for modelling, simulation, validation and verification of systems using place/transition Petri nets (p/t-nets). It implements the research done in a project named VIP (Verification of Information systems by evaluating partially-ordered Petri net runs) that was sponsored by the German Research Society (DFG). The main concern of this project is to establish a simulation and modelling concept for business processes given by Petri nets, which is based on the generation and evaluation of partially ordered execution runs (processes) instead of totally ordered sequences of transition occurrences. VipTool provides a comprehensive bundle of methods concerned with causality and concurrency modelled by partially ordered runs of p/t-nets. Namely, functionalities for synthesis, unfolding (combined with respective validation) and testing of executability are covered by VipTool.


References in zbMATH (referenced in 13 articles )

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

  1. Bride, Hadrien; Kouchnarenko, Olga; Peureux, Fabien: Reduction of workflow nets for generalised soundness verification (2017)
  2. Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta; Rozenberg, Grzegorz: Applying regions (2017)
  3. Lorenz, Robert; Desel, Jörg; Juhás, Gabriel: Models from scenarios (2013)
  4. Ellis, Clarence A.; Kim, Kwanghoon; Rembert, Aubrey; Wainer, Jacques: Investigations on stochastic information control nets (2012) ioport
  5. Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta: Regions of Petri nets with a/sync connections (2012)
  6. Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian: Comparison of different algorithms to synthesize a Petri net from a partial language (2009)
  7. Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian; Lorenz, Robert: Construction of process models from example runs (2009)
  8. de Oliveira Oliveira, Mateus: Hasse diagram generators and Petri nets (2009)
  9. Fahland, Dirk: Oclets -- scenario-based modeling with Petri nets (2009)
  10. Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian: Synthesis of Petri nets from scenarios with VipTool (2008) ioport
  11. Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian: Synthesis of Petri nets from finite partial languages (2008)
  12. Rozinat, A.; van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior (2008) ioport
  13. Bergenthum, Robin; Desel, Jörg; Juhás, Gabriel; Lorenz, Robert: Can I execute my scenario in your net? VipTool tells you! (2006) ioport