“MODELING AND ANALYSIS OF STAND BY REDUNDANCY SYSTEM TO GENERATE THE REACHABILITY TREE USING PETRI NET SYSTEM”. Asian Journal of Current Engineering and Maths 2, no. 3 (October 10, 2013). Accessed October 5, 2024. http://informaciontechnologica.com/index.php/ajcem/article/view/163.