The persistence of the Petri Net state-space | IEEE Conference Publication | IEEE Xplore