Two Sufficient Conditions on Refactorizability of Acyclic Extended Free Choice Workflow Nets to Acyclic Well-Structured Workflow Nets and Their Application.
Ichiro ToyoshimaShingo YamaguchiYuki MurakamiPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2015)