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