By Topic

Partial order diagnosability of discrete event systems using petri net unfoldings

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.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Haar, S. ; IRISA, Rennes, France ; Benveniste, A. ; Fabre, E. ; Jard, C.

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.

Published in:

Decision and Control, 2003. Proceedings. 42nd IEEE Conference on  (Volume:4 )

Date of Conference:

9-12 Dec. 2003