An example illustrating the imprecision of the efficient approach for diagnosis of Petri nets via integer linear programming
classification
💻 cs.SY
cs.AI
keywords
approachdiagnosisefficientintegerlinearnetspetriprogramming
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.