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.
Keywords for this software
References in zbMATH (referenced in 7 articles )
Showing results 1 to 7 of 7.
- Lorenz, Robert; Desel, Jörg; Juhás, Gabriel: Models from scenarios (2013)
- Ellis, Clarence A.; Kim, Kwanghoon; Rembert, Aubrey; Wainer, Jacques: Investigations on stochastic information control nets (2012)
- Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta: Regions of Petri nets with a/sync connections (2012)
- Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian: Comparison of different algorithms to synthesize a Petri net from a partial language (2009)
- Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian; Lorenz, Robert: Construction of process models from example runs (2009)
- Bergenthum, Robin; Desel, Jörg; Lorenz, Robert; Mauser, Sebastian: Synthesis of Petri nets from finite partial languages (2008)
- Rozinat, A.; van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior (2008)