New rank theorems for Petri nets and their application to workflow management.

Andrei Kovalyov, Robert D. McLeod

Browse the full SMC paper archive.