{. Aalst, A. Mooij, C. Stahl, and K. Wolf. Formal Methods for Web Services, volume 5569 of Lecture Notes in Computer Science, page 42--88. Springer-Verlag, Berlin, (2009)
{. Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. Informal Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), page 119--134. QUT, Brisbane, Australia, (2007)
N. Lohmann, P. Massuthe, and K. Wolf. 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, volume 4546 of Lecture Notes in Computer Science, page 321--341. Springer-Verlag, Berlin, (2007)
B. Witlox, {. Wolf, E. Aarts, and {. Aalst. Proceedings of the Workshop on Hardware Design and Petri Nets (HWPN'98), page 168--185. Lisbon, Portugal, (1998)
{. Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), volume 4937 of Lecture Notes in Computer Science, page 139--153. Springer-Verlag, Berlin, (2008)
K. Wolf. Transactions on Petri Nets and Other Models of Concurrency II, volume 5460 of Lecture Notes in Computer Science, page 152--171. Springer-Verlag, Berlin, (2009)