A Distributed Algorithm for On-line Diagnosis of Place-bordered Petri Nets

Authors:	Genc Sahika, University of Michigan, United States Lafortune Stephane, University of Michigan, United States
Topic:	5.1 Manufacturing Plant Control
Session:	Dependable Manufacturing Systems Control I
Keywords:	Fault diagnosis, distributed algorithms, Petri nets, software implementation

Abstract

A new distributed algorithm for on-line fault detection and isolation of discrete-event systems modeled by Petri nets is presented. The algorithm is applicable to systems modeled in a modular manner by means of place-bordered Petri nets, i.e., Petri nets with common places but distinct transitions. These Petri nets have transition labeled with events; fault events are modeled as transitions labeled with unobservable events. It is assumed that the diagnoser modules are able to communicate in real-time during the diagnostic process. A merge function is defined to combine the individual diagnoser states and recover the complete diagnoser state that would be obtained under a monolithic approach.