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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 529–586. Springer, Heidelberg (1998)
Bergenthum, R., Desel, J., Juhás, G., Lorenz, R.: Can I Execute My Scenario in Your Net? Viptool Tells You! In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 381–390. Springer, Heidelberg (2006)
Bergenthum, R., Lorenz, R., Mauser, S.: Faster Unfolding of General Petri Nets. In: AWPN 2007, pp. 63–68 (2007)
Bergenthum, R., Mauser, S.: Experimental Results on the Synthesis of Petri Nets from Partial Languages. In: Petri Net Newsletter, vol. 73, pp. 3–10 (2007)
Caillaud, B.: Synet, http://www.irisa.fr/s4/tools/synet/
Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers. IEICE Trans. of Informations and Systems E80-D(3), 315–325 (1997)
Desel, J.: Model Validation - A Theoretical Issue? In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 23–43. Springer, Heidelberg (2002)
Desel, J.: From Human Knowledge to Process Models. In: Kaschek, R., et al. (eds.) UNISCON 2008. LNBIP, vol. 5, Springer, Heidelberg (2008)
Desel, J., Juhás, G., Lorenz, R., Neumair, C.: Modelling and Validation with Viptool. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 380–389. Springer, Heidelberg (2003)
Desel, J., Reisig, W.: The Synthesis Problem of Petri Nets. Acta Inf. 33(4), 297–315 (1996)
Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-Structures: Part I + II. Acta Inf. 27(4), 315–368 (1989)
Lorenz, R., Bergenthum, R., Desel, J., Mauser, S.: Synthesis of Petri Nets from Finite Partial Languages. In: ACSD 2007, pp. 157–166. IEEE Computer Society, Los Alamitos (2007)
Lorenz, R., Juhás, G., Mauser, S.: How to Synthesize Nets from Languages - a Survey. In: Proceedings of the Wintersimulation Conference (WSC) (2007)
Seybold, C., Meier, S., Glinz, M.: Scenario-Driven Modeling and Validation of Requirements Models. In: SCESM 2006, pp. 83–89. ACM, New York (2006)
van der Aalst, W.M.P., et al.: ProM 4.0: Comprehensive Support for real Process Analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 484–494. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bergenthum, R., Desel, J., Lorenz, R., Mauser, S. (2008). Synthesis of Petri Nets from Scenarios with VipTool. In: van Hee, K.M., Valk, R. (eds) Applications and Theory of Petri Nets. PETRI NETS 2008. Lecture Notes in Computer Science, vol 5062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68746-7_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-68746-7_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68745-0
Online ISBN: 978-3-540-68746-7
eBook Packages: Computer ScienceComputer Science (R0)