Synthesis of Petri Nets from Scenarios with VipTool

Authors:
Robin Bergenthum;Jörg Desel;Robert Lorenz;Sebastian Mauser
Affiliations:
Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,;Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,;Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,;Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,
Venue:
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Year:
2008

Citing 10
Cited 3

Partial (set) 2-structures. Part I: basic notions and the representation problem

Acta Informatica
The synthesis problem of Petri nets

Acta Informatica
Theory of Regions

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Model Validation - A Theoretical Issue?

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Scenario-driven modeling and validation of requirements models

Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Synthesis of Petri Nets from Finite Partial Languages

ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
How to synthesize nets from languages: a survey

Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Modelling and validation with VipTool

BPM'03 Proceedings of the 2003 international conference on Business process management
ProM 4.0: comprehensive support for real process analysis

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Can i execute my scenario in your net? viptool tells you!

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency

Hasse Diagram Generators and Petri Nets

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages

Fundamenta Informaticae - Application of Concurrency to System Design
Regions of Petri nets with a/sync connections

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

The aim of this tool paper is twofold: First we show that VipTool [9,2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new functionalities, we changed the architecture of VipTool to a flexible plug-in technology. Second we explain how VipTool including the synthesis feature can be used for a stepwise and iterative formalization and validation procedure for business process Petri net models. The synthesis functionalities fill a gap in a previously defined procedure [9,7] where the first definition of an initial process model had to be done "by hand", i.e. without any tool support.