Automatic abstraction refinement for Petri nets verification | IEEE Conference Publication | IEEE Xplore