Extended Structure Morphisms inducing a Petri net semantics