Anand Y. Joshi, Ajay M. Patel*,. 2013. “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 (3). https://innovativejournal.in/index.php/ajcem/article/view/163.