Relating different semantics für object petri nets formal proofs and examples - Valk, Rüdiger (Universität <Hamburg> / Fachbereich Informatik: Bericht, 2000)