Modeling worflow peocess with colored Petri nets - Liu, D; Wang, J; Chan, S; Sun, J; Zhang, L (Computers in Industry, 2002)