WF-Net Based Modeling and Soundness Verification of Interworkflows. - Shingo Yamaguchi 001; Hajime Matsuo; Qi-Wei Ge; Minoru Tanaka (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)