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.

Exploiting T-invariant analysis in Diagnostic reasoning on a Petri net model

PORTINALE, Luigi
1993-01-01

Abstract

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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11579/2802
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? ND
social impact