Partial Order Diagnosability of Discrete Event Systems Using Petri Net Unfoldings

Stefan Haar (1) , Albert Benveniste (1) , Eric Fabre (1) , Claude Jard (2)

1 SIGMA2 - Signal, models, algorithms
2 TRISKELL - Reliable and efficient component based software engineering

In truly asynchronous, distributed systems, neither global state nor global time are available. The diagnosis approach with Petri net unfoldings, motivated by the problem of event correlation in telecommunications network management and proposed, uses only local states in combination with a partial order model of time. Here, we give a definition of weak and strong 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.

Domaines: Autre [cs.OH]

Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. Partial Order Diagnosability of Discrete Event Systems Using Petri Net Unfoldings. Proceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, United States. pp.3748-3753, ⟨10.1109/CDC.2003.1271732⟩. ⟨inria-00638329⟩