MODELING AND ANALYSIS OF STAND BY REDUNDANCY SYSTEM TO GENERATE THE REACHABILITY TREE USING PETRI NET SYSTEM. engineering and maths 2013, 2 (3).