Observation Equivalence of Petri Net Generators