Anand Y. Joshi, A. M. P. MODELING AND ANALYSIS OF STAND BY REDUNDANCY SYSTEM TO GENERATE THE REACHABILITY TREE USING PETRI NET SYSTEM. engineering and maths 2013, 2.