This paper copes with the application of T-invariant analysis to diagnostic reasoning based on a Petri net model. In particular, it is formally shown how the notion of diagnostic solution can be related to that of Petri net T-invariant, partially transforming a problem traditionally solved by means of symbolic techniques into a linear algebraic one. The approach has been inspired by some previous works concerning the use of T-invariant analysis on Petri net models of logic programs and it takes its place among recent approaches aiming at integrating artificial intelligence and Petri netbased techniques. A diagnostic algorithm exploiting the idea is proposed and the role of the Petri net model in the resulting diagnostic architecture is discussed.
CITATION STYLE
Portlnale, L. (1993). Exploiting t-invariant analysis in diagnostic reasoning on a petri net model. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 691 LNCS, pp. 339–356). Springer Verlag. https://doi.org/10.1007/3-540-56863-8_55
Mendeley helps you to discover research relevant for your work.