Well Formed PetriNet for Reachablility | IEEE Conference Publication | IEEE Xplore