Task net: Transactional workflow model based on colored Petri net. - Injun Choi; Chulsoon Park; Changwoo Lee (Eur. J. Oper. Res., 2002)

A transactional workflow model for engineering/manufacturing processes. - Injun Choi; Chulsoon Park; Changwoo Lee (Int. J. Comput. Integr. Manuf., 2002)

An XML-based process definition language for integrated process management. - Injun Choi; Minseok Song 001; Chulsoon Park; Namkyu Park (Comput. Ind., 2003)

Management of business process constraints using BPTrigger. - Chulsoon Park; Injun Choi (Comput. Ind., 2004)

Terminability and compensatibility of cycles in business processes with a process-oriented trigger. - Injun Choi; Jisoo Jung; Michael V. Mannino; Chulsoon Park (Data Knowl. Eng., 2008)

A rule-based approach to proactive exception handling in business processes. - Kwangmyeong Kim; Injun Choi; Chulsoon Park (Expert Syst. Appl., 2011)

Interactive analysis of product development experiments using On-line Analytical Mining. - Namchul Do; Sungmoon Bae; Chulsoon Park (Comput. Ind., 2015)