Fault tolerant control design via hybrid Petri nets