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 (Oct. 2013).