Relating different semantics für object petri nets formal proofs and examples - Valk, Rüdiger (Univ. Fachbereich Informatik, 2000)