Equivalent net abstraction and firing sequence preservation | IEEE Conference Publication | IEEE Xplore