Test Case Generation for Software Quality Assurance by Using PrT Nets. int. jour. eng. com. sci 2016, 5 (12).