참고문헌
- A. Elmagarmidand W. Du, 'Workflow Management:State of the Art vs. State of the Market,' Advances in Workflow Managment System of the Market, A. Dogac(Ed.), NATO, pp.1-17, 1997
- D. Hollingsworth, 'Workflow Management Coalition - The Workflow Reference Model,' TC00-1003 issue 1.1, 1994
- Work Group1, 'Inerface 1 : Process Definition Interchange Process Model,' Workflow Management Coalition Specification - TC00-1016, 1998
- P. C. Attie, M. P. Singh, A. Sheth and M. Rusinkiewicz, 'Specifying and Enforcing Intertask Dependency,' VLDB conference, pp. 134-145, 1993
- James L.Peterson, 'Petri net theory and the modeling of system,' Prentice-Hall, 1981
- Rene David and Hassane Alla, 'Petri Nets for Modeling of Dynamic Systems a Survey,' Automatica, Vol.30, No.2, pp.175-202, 1994 https://doi.org/10.1016/0005-1098(94)90024-8
- C. S. Hwang and J. M. Lee, 'Analysis of Matrix Equation Based on Petri Net for Discrete System Control,' Proceedings of the 29th SICE Annual conference International Session, pp.639-696, July, 1990
- Nasreddine Aoumeur and Gunter Saake, 'A component-based Petri net model for specifying and validating cooperative information systems,' Data & Knowledge Engineering, 42, pp.143-187, 2002 https://doi.org/10.1016/S0169-023X(02)00025-3
- 김소연, 이강수, '워크플로우 모형화 및 관리시스템,' 정보처리논문지, 제3권 제5호, pp.18-30, 1996
- 한동일, 박세권, '워크플로 분석/설계를 위한 모델링 기법 개발,' 한국경영정보학회 96 추계학술대회논문집, pp.73-84, 1996
- 권종구, '에이전트 기반의 워크플ㄹ로우에 관한 연구,' 서울대학교 대학원 석사학위논문, 1998
- 정희택, 이도헌, 김문자, 류영철, '시간 제약을 포함한 워크플로우 모델링 및 검증,' 정보처리논문지, 제6권 제2호, pp.261-273, 1999
- 이성호, '페트리넷을 이용한 워크플로우 모델링 도구 개발,' 전남대학교 대학원 석사학위논문, 1999
- 신동일, 신동규, '워크플로우 관리 시스템의 설계 및 구현,' 정보처리논문지, 제7권 제5, pp.1609-1619, 2000
- 정희택, 이도헌, '페트리넷을 이용한 워크플로우 명세의 완료 가능성 및 무결성 검증,' 정보처리논문지, 제7권 제7호, pp.2028-2040, 2000
- 홍현기, '워크플로우 시스템 구축을 위한 프로세서 지향적인 방법론에 관한 연구,' 한독경상학회, 경상농촌, Vol.21, pp.221-242, 2000
- 이현, 박규석, '웹기반 분산워크플라우 관리시스템의 프로세스 엔진 설계,' 멀티미디어학회논문지, 제4권 제5호, pp.377-389, 2001
- 여정모, '마크흐름선도의 확장,' 부산대학교 대학원 석사학위논문, 1982
- 여정모, 황창선, '확장된 마크흐름선도와 시퀀셜제어시스템에의 응용,' 부산대학교 공과대학 연구보고, Vol.25, pp.209-219, 1983
- 여정모, '이산제어시스템 설계를 위한 확장된 마크흐름선도의 동작해석,' 정보처리논문지, Vol.5, No.7, pp.1896-1907, 1998
- 김희정, 허후숙, 정안나, 여정모, '접속 행렬을 이용한 EMFG의 수학적 해석,' 한국멀티미디어학회 추계학술발표논문집, 제4권 제2호, pp.815-820, 2001
- 백형구, 허후숙, 정명희, 여정모, '조건아크를 이용한 릴레이 회로의 EMFG 변환,' 한국멀티미디어학회 추계학술발표논문집, 제4권 제2호, pp.821-826, 2001
- 김희정, 여정모, 서경룡, 'EMFG의 개선된 동작해석 알고리즘,' 제9-A권 제3호, pp.371-378, 2002 https://doi.org/10.3745/KIPSTA.2002.9A.3.371
- 허후숙, 김남혁, 박희광, 여정모, '워크플로우의 EMFG 모델링,' 한국멀티미디어학회 추계학술발표논문집, 제9권 제2호, pp.2301-2304, 2002