Moving Average control chart for the detection and isolation of temporal faults in stochastic Petri nets | IEEE Conference Publication | IEEE Xplore