On the Equivalence of Observation Structures for Petri Net Generators | IEEE Journals & Magazine | IEEE Xplore