1. Lee, W.J., Cha, S.D., Kwon, Y.R., Kim, H.N.: A Slicing-based Approach to Enhance Petri Net Reachability Analysis. Journal of Research and Practice in Information Technology 3, 131–143 (2000)
2. Lecture Notes in Computer Science;K. Klai,2007
3. Lecture Notes in Computer Science;A. Valmari,1994
4. Lecture Notes in Computer Science;G. Berthelot,1986
5. Desel, J., Esparza, J.: Free choice Petri Nets. Cambridge University Press, New York (1995)