Design and fault diagnosis of Petri net controllers for Petri nets with uncontrollable and unobservable transitions

This paper presents a methodology for diagnosing faults of controllers which are modeled by Petri nets with uncontrollable and unobservable transitions. The inadmissible constraints with uncontrollable and unobservable transitions are transformed into admissible conditions in this method. And we can design controllers easily using reduction technique. In order to provide tolerance against faults in controllers, we embed the given Petri net controller into a larger Petri net controller that retains the functionality of original controllers, and encode the large Petri net controller. Separate redundant Petri net controllers using additional places, connections and tokens to impose invariant conditions allow the systematic detection and identification of faults via Hamming code. The proposed method is attractive because it can check faults (place faults, transition faults or mixed faults) easily. A manufacturing cell is taken as an example to illustrate the approach.