The use of Petri nets to analyze coherent fault trees | IEEE Journals & Magazine | IEEE Xplore