Performance Evaluation on Worst Change Time of Flush and SCO Dynamic Changes for State Machine WF-Nets. - Shingo Yamaguchi 001; Katsuaki Miyauchi; Qi-Wei Ge; Minoru Tanaka (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)