S. Spinner, S. Kounev, и P. Meier. Proceedings of the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2012), том 7347 из Lecture Notes in Computer Science (LNCS), стр. 388--397. Berlin, Heidelberg, Springer-Verlag, (июня 2012)
S. Spinner, S. Kounev, и P. Meier. Proceedings of the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2012), том 7347 из Lecture Notes in Computer Science (LNCS), стр. 388--397. Berlin, Heidelberg, Springer-Verlag, (июня 2012)