On 1-soundness and Soundness of Workflow Nets Lu Ping, Hu Hao and Lü Jian Department of Computer Science Nanjing University [email protected], [email protected].
On 1 -soundness and Soundness of Workflow Nets