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]
@article{GottschalkAJV08, title = {Protos2CPN: using colored Petri nets for configuring and testing business processes}, author = {Florian Gottschalk and Wil M. P. van der Aalst and Monique H. Jansen-Vullers and H. M. W. Verbeek}, year = {2008}, doi = {10.1007/s10009-007-0055-9}, url = {http://dx.doi.org/10.1007/s10009-007-0055-9}, tags = {testing}, researchr = {https://researchr.org/publication/GottschalkAJV08}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {10}, number = {1}, pages = {95-110}, }