Anand Y. Joshi AMP. MODELING AND ANALYSIS OF STAND BY REDUNDANCY SYSTEM TO GENERATE THE REACHABILITY TREE USING PETRI NET SYSTEM. engineering and maths [Internet]. 2013 Oct. 10 [cited 2024 Oct. 5];2(3). Available from: http://medicaleditor.uk/index.php/ajcem/article/view/163