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