A Model Checking Method of Soundness for Workflow Nets. - Munenori Yamaguchi; Shingo Yamaguchi 001; Minoru Tanaka (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)