A Slicing-based approach to enhance Petri Net Reachability Analysis

May 1, 2000 · One min read

이우진

담당교수

S.D. Cha

H.N. Kim

Y.R. Kwon

Journal of Research and Practice in Information Technology, Vol. 32, No. 2, pp. 131-143, May 2000.