Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs | IEEE Conference Publication | IEEE Xplore