Modeling workflow processes with colored Petri nets. - Liu, Dongsheng; Wang, Jianmin; Chan, Stephen C. F.; Sun, Jiaguang; Zhang, Li (Comput. Ind., 2002)