MODELING AND ANALYSIS OF STAND BY REDUNDANCY SYSTEM TO GENERATE THE REACHABILITY TREE USING PETRI NET SYSTEM. engineering and maths. 2013;2(3). Accessed November 23, 2024. https://informaciontechnologica.com/index.php/ajcem/article/view/163