Protos2CPN: using colored Petri nets for configuring and testing business processes

Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, H. M. W. Verbeek. Protos2CPN: using colored Petri nets for configuring and testing business processes. STTT, 10(1):95-110, 2008. [doi]

Abstract

Abstract is missing.