Protos2CPN: Using Colored Petri Nets for Configuring and Testing Business Processes

Gottschalk, F.; van der Aalst, Wil M. P.; Jansen-Vullers, M. H.; Verbeek, H. M. W.

Berlin : Springer (2008)
Journal Article

In: International journal on software tools for technology transfer : STTT
Volume: 10
Issue: 1
Page(s)/Article-Nr.: 95-111


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]