摘要：AbstractThis paper deals with the problem of fault pattern diagnosis in discrete event systems modelled by Petri nets. A general framework for implementing a pattern diagnosis function by model-checking is proposed. Two different approaches with experimental results are presented and compared to a third approach from the literature.
关键词：KeywordsDiagnosismodel checkingfault patternsPetri netLinear Time Logic
