Reliability design of industrial plants using Petri nets