G. Geetha, M. Mahanandi Babu, G. Ramesh,. 2016. “Test Case Generation for Software Quality Assurance by Using PrT Nets”. International Journal of Engineering and Computer Science 5 (12). india. http://ijecs.in/index.php/ijecs/article/view/3480.