WF-Net Based Modeling and Soundness Verification of Interworkflows

Shingo Yamaguchi, Hajime Matsuo, Qi-Wei Ge, Minoru Tanaka. WF-Net Based Modeling and Soundness Verification of Interworkflows. IEICE Transactions, 90-A(4):829-835, 2007. [doi]

Abstract

Abstract is missing.