M. Solé, и J. Carmona. Applications and Theory of Petri Nets (Petri Nets 2010), том 6128 из Lecture Notes in Computer Science, стр. 226--245. Springer-Verlag, Berlin, (2010)
M. Sole, и J. Carmona. Applications and Theory of Petri Nets 2010, том 6128 из Lecture Notes in Computer Science, стр. 226--245. Springer-Verlag, Berlin, (2010)
M. Solé, и J. Carmona. Automated Technology for Verification and Analysis (ATVA 2010), том 6252 из Lecture Notes in Computer Science, стр. 396--402. Springer-Verlag, Berlin, (2010)