Design A Method for Detecting the Inconsistent Loops in the Specification of Multimedia Hyper-Presentation Using Petri-Net. - Jong-Keun Cho; Si-Yeon Woo; Younghwan Lim (J. Digit. Inf. Manag., 2003)