“MODELING AND ANALYSIS OF STAND BY REDUNDANCY SYSTEM TO GENERATE THE REACHABILITY TREE USING PETRI NET SYSTEM”, engineering and maths, vol. 2, no. 3, Oct. 2013, Accessed: Oct. 05, 2024. [Online]. Available: http://informaciontechnologica.com/index.php/ajcem/article/view/163