Publications 2013

D. M. M. Schunselaar, T. F. van der Avoort, H. M. W. Verbeek, and W. M. P. van der Aalst, “Yawl in the cloud,” in Yawl 2013, Bonn, Germany, 2013. [Bibtex] @Conference{Schunselaar13, Title = {YAWL in the Cloud}, Author = {Schunselaar, D. M. M. and Avoort, T. F. van der and Verbeek, H. M. W. … [Read more…]

Publications 2011

W. M. P. van der Aalst, K. M. van Hee, A. H. M. ter Hofstede, N. Sidorova, H. M. W. Verbeek, M. Voorhoeve, and M. T. Wynn, “Soundness of workflow nets: classiffication, decidability, and analysis,” Formal aspects of computing, vol. 23, iss. 3, pp. 333-363, 2011. [Bibtex] @Article{Aalst11, Title = {Soundness of Workflow Nets: Classiffication, … [Read more…]

CPN Tools

CPN Tools is a tool for editing, simulating, and analyzing Colored Petri nets. The tool features incremental syntax checking and code generation, which take place while a net is being constructed. A fast simulator efficiently handles untimed and timed nets. Full and partial state spaces can be generated and analyzed, and a standard state space … [Read more…]