New rank theorems for Petri nets and their application to workflow management | IEEE Conference Publication | IEEE Xplore