Safeness for Object Nets - Michael Köhler-Bußmeier and Frank Heitmann (Fundamenta informaticae, 2010)