4Gregory Mentzas, Christos, Stylianos Kavadias .Modeling business process with workflow systems: an evaluation of alternative approaches[J]. International Journal of Information Management. 2001.21: 123 - 135.
5Peterson J L.Petri net theory and modeling of systems[M] .New Jersey: Prentichall, Engewood Ciffs. 1981.
6Yoon Ho Cho,Jae Kyeong Kim,Soung Hie Kim. Role- based approach to business process simulation modeling and analysis[J] .Computers lnd.Engng. 1998.35( 1 - 2): 343 - 346.
7Gregory Mentzas, Christos, Stylianos Kavadias. Modeling business process with workflow systems: an evaluation of alternative approaches[J].International Journal of Information Management. 2001.21:123 - 135.
8De Giacomo G, Lesperance Y, Levesque H.Reasoning about concurrent execution, prioritized interrupts and exogenous actions in the situation calculus [C] .IN: Proceedings of IJCAI'97. 1997:1221 - 1226.
