VipTool swMATH ID: 13755 Software Authors: Bergenthum, R., Desel, J., Lorenz, R., Mauser, S. Description: 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. Homepage: https://www.fernuni-hagen.de/sttp/forschung/vip_tool.shtml Related Software: rbminer; Genet; Petrify; ProM; Workcraft; HybridILPMiner; PIPE; Yasper; Woflan; SPIN; PNML; Reo Cited in: 12 Publications all top 5 Cited by 17 Authors 4 Bergenthum, Robin 4 Desel, Jörg 3 Koutny, Maciej 3 Lorenz, Robert G. 3 Mauser, Sebastian 3 Pietkiewicz-Koutny, Marta 2 Kleijn, Jetty 1 Ahmed, Aishah 1 Berti, Alessandro 1 Bride, Hadrien 1 De Oliveira Oliveira, Mateus 1 Fahland, Dirk 1 Juhás, Gabriel 1 Kouchnarenko, Olga 1 Peureux, Fabien 1 Rozenberg, Grzegorz 1 van der Aalst, Wil M. P. Cited in 2 Serials 3 Theoretical Computer Science 2 Fundamenta Informaticae Cited in 1 Field 12 Computer science (68-XX) Citations by Year