Partial order reduction for checking soundness of time workflow nets

Hanifa Boucheneb, Kamel Barkaoui. Partial order reduction for checking soundness of time workflow nets. Inf. Sci., 282:261-276, 2014. [doi]

Abstract

Abstract is missing.