Minimal cut sets of a coherent fault tree generation using reverse Petri nets