Ahmad, F. , Huang, H. , Wang, X.. "A Technique for Reachability Graph Generation for the Petri Net Models of Parallel Processes". World Academy of Science, Engineering and Technology, Open Science Index 27, International Journal of Computer and Information Engineering (2009), 3(3), 811 - 815.