HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics

Stefan Haar 1
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In truly asynchronous, distributed systems, neither global state nor global time are available. Automata-based diagnosis therefore reaches its limitations there; a different approach, based on Petri net unfoldings, was proposed in [9]. It is motivated by the problem of event correlation in telecommunications network management, and uses only local states, in combination with a partial order model of time. Diagnosis is performed by correlation of the observed partial order alarm patterns and partial order executions of the system model. As in the classical automata setting, the presence of invisible transitions raises the problems of observability and diagnosability of a given system. In this paper, we give a definition of weak and strong observability and diagnosability in terms of partially ordered executions, and characterize diagnosable systems; the characterizing property can be effectively verified using a finite complete prefix of the net unfolding.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 9:30:28 PM
Last modification on : Friday, February 4, 2022 - 3:23:16 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:50:36 PM


  • HAL Id : inria-00070750, version 1


Stefan Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics. [Research Report] RR-5248, INRIA. 2004, pp.25. ⟨inria-00070750⟩



Record views


Files downloads