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