{. Aalst, A. Adriansyah, and {. Dongen. 22nd International Conference on Concurrency Theory (CONCUR 2011), page 28�-42. Springer-Verlag, Berlin, (2011)
E. Badouel, L. Bernardinello, and {. Darondeau. TAPSOFT, volume 915 of Lecture Notes in Computer Science, page 364--378. Springer-Verlag, Berlin, (1995)
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)