On processes of object Petri nets - Valk, Rüdiger (Bibliothek des Fachbereichs Informatik, 1996)