{. Aalst, N. Lohmann, P. Massuthe, C. Stahl, und K. Wolf. Informal Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Seite 119--134. QUT, Brisbane, Australia, (2007)
N. Lohmann, P. Massuthe, C. Stahl, und D. Weinberg. International Conference on Business Process Management (BPM 2006), Volume 4102 von Lecture Notes in Computer Science, Seite 17--32. Springer-Verlag, Berlin, (2006)
{. Aalst, N. Lohmann, {. Rosa, und J. Xu. Business Process Management (BPM 2010), Volume 6336 von Lecture Notes in Computer Science, Seite 95--111. Springer-Verlag, Berlin, (2010)
N. Lohmann, P. Massuthe, und 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 von Lecture Notes in Computer Science, Seite 321--341. Springer-Verlag, Berlin, (2007)
N. Lohmann. International Conference on Business Process Management (BPM 2008), Volume 5240 von Lecture Notes in Computer Science, Seite 132--147. Springer-Verlag, Berlin, (2008)
{. Aalst, N. Lohmann, P. Massuthe, C. Stahl, und K. Wolf. Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Volume 4937 von Lecture Notes in Computer Science, Seite 139--153. Springer-Verlag, Berlin, (2008)
N. Lohmann, und D. Weinberg. Applications and Theory of Petri Nets 2010, Volume 6128 von Lecture Notes in Computer Science, Seite 279--307. Springer-Verlag, Berlin, (2010)