Integer and combinatorial optimization
Integer and combinatorial optimization
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
On-Line Monitoring of Large Petri Net Models Under Partial Observation
Discrete Event Dynamic Systems
| Hi-index | 0.00 |
The paper addresses the fault detection problem for discrete event systems modeled by Petri Nets (PN). Assuming that the PN structure and initial marking are known, faults are modeled by unobservable transitions. The paper recalls a previously proposed diagnoser that works on-line and employs an algorithm based on the definition and solution of some integer linear programming problems to decide whether the system behavior is normal or exhibits some possible faults. To reduce the on-line computational effort, we prove some results showing that if the unobservable subnet enjoys suitable properties, the algorithm solution may be obtained with low computational complexity. We characterize the properties that the PN modeling the system fault behavior has to fulfill and suitably modify the proposed diagnoser.