The Reachability Problem for Object Nets - Michael Köhler (Bericht / Universität Hamburg, Department Informatik, 2006)