“MODELING AND ANALYSIS OF STAND BY REDUNDANCY SYSTEM TO GENERATE THE REACHABILITY TREE USING PETRI NET SYSTEM”. Asian Journal of Current Engineering and Maths, vol. 2, no. 3, Oct. 2013, https://informaciontechnologica.com/index.php/ajcem/article/view/163.