Shukla, D. K., Arul, A. J., Wootton, M. J., & Andrews, J. (2019, April). Reliability analysis of a safety system using petri net and comparison with smart component methodology