S. Spinner, S. Kounev, and P. Meier. Proceedings of the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2012), volume 7347 of Lecture Notes in Computer Science (LNCS), page 388--397. Berlin, Heidelberg, Springer-Verlag, (June 2012)