From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian Bisgaard Lassen, Jens Bæk Jørgensen. From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. T. Petri Nets and Other Models of Concurrency, 3:25-49, 2009. [doi]

Abstract

Abstract is missing.