Qualitative diagnosability of labeled petri nets revisited

13 years 2 months ago
Qualitative diagnosability of labeled petri nets revisited
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14], we showed how to take further advantage of the partial order representation of concurrent processes, by decomposing the unfolding into ’facets’, formed by subnets whose events either all occur eventually, or none of them occurs. A notion of q(ualitative)-diagnosability was proposed in [14] based on this decomposition. The present paper corrects the definition of qdiagnosability and develops its properties. Sufficient and necessary criteria, on the transition labeling, for q-diagnosability are shown; for their verification, and diagnosis itself, compact data structures are sufficient.
Stefan Haar
Added 21 Jul 2010
Updated 21 Jul 2010
Type Conference
Year 2009
Where CDC
Authors Stefan Haar
Comments (0)