From Requirements via Colored Workflow Nets to an Implementation (2009)

by R Mans, W van der Aalst, N Russell, P Bakker, A Moleman, K Lassen, J Jørgensen
Venue:in Several Workflow Systems.Jensen K., Billington J. and Koutny M.(Ed.), Transactions on Petri Nets and Other Models of Concurrency III, Springer Berlin