In: Proceedings of Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 21-22, 1999, pages 83-97. Fraunhofer Gesellschaft, ISST, 1999.
Abstract: This contribution reports on the project VIP (Verifikation von Informationssystemen durch Auswertung halbgeordneter Petrinetz-Abläufe) that is supported by the DFG (Deutsche Forschungsgemeinschaft). The major aim of the project is the development of techniques and tools to support the validation and the analysis of high-level Petri net models of dynamic distributed systems. To this end, the behavior of the models is represented by partially ordered runs. We discuss how these runs are constructed and visualized for validation purposes, and how they are analyzed. We demonstrate how different dynamic properties can be formulated and checked by searching respective patterns in so-called process nets.
Back to the Petri Nets Bibliography