“Test Case Generation for Software Quality Assurance by Using PrT Nets”. 2016. International Journal of Engineering and Computer Science 5 (12). https://ijecs.in/index.php/ijecs/article/view/3480.