ANAND Y. JOSHI, Ajay M. Patel*,. MODELING AND ANALYSIS OF STAND BY REDUNDANCY SYSTEM TO GENERATE THE REACHABILITY TREE USING PETRI NET SYSTEM. Asian Journal of Current Engineering and Maths, [S. l.], v. 2, n. 3, 2013. Disponível em: http://medicaleditor.uk/index.php/ajcem/article/view/163. Acesso em: 5 oct. 2024.