This document demonstrates that the efficient approach for diagnosis of Petri nets via integer linear programming may be unable to detect a fault even if the system is diagnosable.
An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming
This document demonstrates that the efficient approach for diagnosis of Petri nets via integer linear programming may be unable to detect a fault even if the system is diagnosable.
- Year
- 2012
- Hosting
- Abstract onlyARXIV-DEFAULT
Cite
Notes
Only stored in your browser.
Attribution
- Abstract & full text
- arxiv.org/abs/1210.4231ARXIV-DEFAULT
- TL;DR
- Semantic Scholar