Deciding (Sub-Marking) Reachability in ±b O(P2 + T2) for Sound Acyclic Free-Choice Workflow Nets.

Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst