@inproceedings{bed62061711e497c9cf05235898e4627,
title = "Fault detection in acyclic Petri net models",
abstract = "This paper proposes an approach for fault detection in a system that is modeled as an acyclic Petri net. Places in the net can be either observable or unobservable, and faulty behavior in the system are modeled as faulty transitions in the net. Our goal is to determine whether faulty transitions occur or not based on the observation of system state (marking) changes. We develop an algorithm that is able to determine the possible occurrences of faulty transitions in the net. An example is also provided to illustrate our approach.",
keywords = "Fault detection, Matrix analysis, Petri nets",
author = "Yizhi Qu and Lingxi Li and Yaobin Chen and Yaping Dai",
year = "2010",
doi = "10.1109/CCDC.2010.5498414",
language = "English",
isbn = "9781424451821",
series = "2010 Chinese Control and Decision Conference, CCDC 2010",
pages = "4059--4063",
booktitle = "2010 Chinese Control and Decision Conference, CCDC 2010",
note = "2010 Chinese Control and Decision Conference, CCDC 2010 ; Conference date: 26-05-2010 Through 28-05-2010",
}