5Injun Choi, Chulsoon Park, Changwoo Lee. Task net: Transactional workflow model based on colored petri net [J]. European Journal of Operational Research, 2002,136:383-402.
6Wil M P, Van Der Aalst, Arthur H M. Verification of workflow task structures- a Petri-net-based approach [J]. Information Systems, 2000,25:43-69.
7Dongsheng Liu, Jianmin Wang. Modeling workflow process with colored Petri nets[J]. Computers in Industry, 2002,49:267-281.