Synthesis of Petri Nets from Scenarios with VipTool

  • Robin Bergenthum
  • Jörg Desel
  • Robert Lorenz
  • Sebastian Mauser
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5062)


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.


Business Process Synthesis Problem Synthesis Algorithm Synthesis Package Core Platform 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 529–586. Springer, Heidelberg (1998)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    Bergenthum, R., Lorenz, R., Mauser, S.: Faster Unfolding of General Petri Nets. In: AWPN 2007, pp. 63–68 (2007)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
  6. 6.
    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)Google Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    Desel, J.: From Human Knowledge to Process Models. In: Kaschek, R., et al. (eds.) UNISCON 2008. LNBIP, vol. 5, Springer, Heidelberg (2008)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    Desel, J., Reisig, W.: The Synthesis Problem of Petri Nets. Acta Inf. 33(4), 297–315 (1996)CrossRefMathSciNetGoogle Scholar
  11. 11.
    Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-Structures: Part I + II. Acta Inf. 27(4), 315–368 (1989)MathSciNetCrossRefGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Lorenz, R., Juhás, G., Mauser, S.: How to Synthesize Nets from Languages - a Survey. In: Proceedings of the Wintersimulation Conference (WSC) (2007)Google Scholar
  14. 14.
    Seybold, C., Meier, S., Glinz, M.: Scenario-Driven Modeling and Validation of Requirements Models. In: SCESM 2006, pp. 83–89. ACM, New York (2006)CrossRefGoogle Scholar
  15. 15.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Robin Bergenthum
    • 1
  • Jörg Desel
    • 1
  • Robert Lorenz
    • 1
  • Sebastian Mauser
    • 1
  1. 1.Department of Applied Computer ScienceCatholic University of Eichstätt-Ingolstadt 

Personalised recommendations