Fault-Recovery and Repair Modeling of Discrete Event Systems Using Petri Nets | IEEE Journals & Magazine | IEEE Xplore