Optimal design of fault-tolerant Petri net controllers | IEEE Conference Publication | IEEE Xplore