Fault diagnosis of timed event graph
基于赋时事件图的故障诊断(英文)

Timed event graphs (TEG) are an important subclass of Petri nets that are well adapted to model synchroniza-tions .The problemoffault diagnosis for timed event graphis studiedinthis paper .Two different systemfaults are defined,transitioninvalidationfault andtransitiontime-lagfault .The observable propagating path ofinvalidationfault is studied based onthe relevancematrix of event graph,and fault character vector is firstly introduced to mark the propagating character of transition invalidationfault .Based onthat ,a sufficient and necessary condition of diagnosabilityfor invalidationfault is given.For the time-lagfault ,a sim-ple fault diagnosis algorithmbased ontransitionfiring time estimationis given.Finally,the diagnosable conditionis studied.