J. Carmona, J. Cortadella, and M. Kishinevsky. Business Process Management (BPM 2009), volume 5701 of Lecture Notes in Computer Science, page 327--343. Springer-Verlag, Berlin, (2009)
M. Solé, and J. Carmona. Applications and Theory of Petri Nets (Petri Nets 2010), volume 6128 of Lecture Notes in Computer Science, page 226--245. Springer-Verlag, Berlin, (2010)
J. Munoz-Gama, and J. Carmona. Business Process Management (BPM 2010), volume 6336 of Lecture Notes in Computer Science, page 211--226. Springer-Verlag, Berlin, (2010)
M. Sole, and J. Carmona. Applications and Theory of Petri Nets 2010, volume 6128 of Lecture Notes in Computer Science, page 226--245. Springer-Verlag, Berlin, (2010)
J. Carmona, and R. Gavaldà. Advances in Intelligent Data Analysis XI, volume 7619 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2012)
M. Solé, and J. Carmona. Automated Technology for Verification and Analysis (ATVA 2010), volume 6252 of Lecture Notes in Computer Science, page 396--402. Springer-Verlag, Berlin, (2010)