By Topic

Diagnosis of DES With Petri Net Models

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)

The diagnosis of discrete event systems is strongly related to events estimation. This paper focuses on faulty behaviors modeled with ordinary Petri nets with some "fault" transitions. Partial but unbiased measurement of the places marking variation is used in order to estimate the firing sequences. The main contribution is to decide which sets of places must be observed for the exact estimation of some given firing sequences. Minimal diagnosers are defined that detect and isolate the firing of fault transitions immediately. Causality relationships and directed paths are also investigated to characterize the influence and dependence areas of the fault transitions. Delayed diagnosers are obtained as a consequence. Note to Practitioners-Structural tools are provided for the analysis of models used in the context of fault detection and isolation for discrete event systems. The systems that are concerned are either manufacturing processes, batch processes, digital devices, or communication protocols with single or multiple failures. Methods are proposed to decide, in a systematic way, if the considered failures can be detected and isolated according to the existing sensors. The obtained results can also be used by designers for sensor selection

Published in:

IEEE Transactions on Automation Science and Engineering  (Volume:4 ,  Issue: 1 )