{. Aalst, {. Medeiros, and A. Weijters. International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, page 129--144. Springer-Verlag, Berlin, (2006)
{. Aalst, {. Medeiros, and A. Weijters. Applications and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, page 48--69. Springer-Verlag, Berlin, (2005)
A. Rozinat, {. Medeiros, C. Günther, A. Weijters, and {. Aalst. BPM 2007 International Workshops (BPI, BPD, CBP, ProHealth, RefMod, Semantics4ws), volume 4928 of Lecture Notes in Computer Science, page 84--89. Springer-Verlag, Berlin, (2008)
A. Rozinat, {. Medeiros, C. Günther, A. Weijters, and {. Aalst. Informal Proceedings of the International Workshop on Business Process Intelligence (BPI 2007), page 73--78. QUT, Brisbane, Australia, (2007)
M. Funk, A. Rozinat, {. Medeiros, {. Putten, H. Corporaal, and {. Aalst. Information Systems: Modeling, Development, and Integration, volume 20 of Lecture Notes in Business Information Processing, page 190--201. Springer-Verlag, Berlin, (2009)
{. Dongen, {. Medeiros, and L. Wenn. Transactions on Petri Nets and Other Models of Concurrency II, volume 5460 of Lecture Notes in Computer Science, page 225--242. Springer-Verlag, Berlin, (2009)
{. Medeiros, and C. Günther. Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), volume 576 of DAIMI, page 177--190. Aarhus, Denmark, University of Aarhus, (October 2005)
{. Aalst, and {. Medeiros. Second International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), page 69--84. STAR, Servizio Tipografico Area della Ricerca, CNR Pisa, Italy, (2004)
{. Medeiros, {. Dongen, {. Aalst, and A. Weijters. Ubiquitous Mobile Information and Collaboration Systems (UMICS 2004), volume 3272 of Lecture Notes in Computer Science, page 154--168. Springer-Verlag, Berlin, (2004)