1. V. Atluri, W. Huang, A Petri Net based Safety Analysis of Workflow Authorization Models, Journal of Computer Security 8 (2–3) (2000).
2. Task-Net: Transactional Workflow Model based on colored Petri Net;Choi;European Journal of Operational Research,2002
3. I. Choi, C. Park, M. Song, Process Engineering and an XML-Based Process Definition Language, 2001 International Joint Conference on Computer and Industrial Engineering and IEMS, Cocoa Beach, Florida, 5–7 March 2001.
4. I. Choi, M. Song, J. Jung, Research Issues and Framework for Process Knowledge Management, Working Paper, Pohang University of Science and Technology, 2002.
5. CrossFlow Project Consortium, CrossFlow Project Overview, http://www.crossflow.org, 1999.