Exploiting t-invariant analysis in diagnostic reasoning on a petri net model

Luigl Portlnale

doi:10.1007/3-540-56863-8_55

Exploiting t-invariant analysis in diagnostic reasoning on a petri net model

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo a conferenza › peer review

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.

Lingua originale	Inglese
Titolo della pubblicazione ospite	Application and Theory of Petri Nets 1993 - 14th International Conference, Proceedings
Editor	Marco Ajmone Marsan
Editore	Springer Verlag
Pagine	339-356
Numero di pagine	18
ISBN (stampa)	9783540568636
DOI	https://doi.org/10.1007/3-540-56863-8_55
Stato di pubblicazione	Pubblicato - 1993
Pubblicato esternamente	Sì
Evento	14th International Conference on Application and Theory of Petri Nets, 1993 - Chicago, United States Durata: 21 giu 1993 → 25 giu 1993

Serie di pubblicazioni

Nome	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	691 LNCS
ISSN (stampa)	0302-9743
ISSN (elettronico)	1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	14th International Conference on Application and Theory of Petri Nets, 1993
Paese/Territorio	United States
Città	Chicago
Periodo	21/06/93 → 25/06/93

Accesso al documento

10.1007/3-540-56863-8_55

Altri file e collegamenti

Link to publication in Scopus

Cita questo

Portlnale, L. (1993). Exploiting t-invariant analysis in diagnostic reasoning on a petri net model. In M. Ajmone Marsan (A cura di), Application and Theory of Petri Nets 1993 - 14th International Conference, Proceedings (pagg. 339-356). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 691 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-56863-8_55

Portlnale, Luigl. / Exploiting t-invariant analysis in diagnostic reasoning on a petri net model. Application and Theory of Petri Nets 1993 - 14th International Conference, Proceedings. curatore / Marco Ajmone Marsan. Springer Verlag, 1993. pagg. 339-356 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{78e9698d85cc4d789b8196ce0e9e63f1,

title = "Exploiting t-invariant analysis in diagnostic reasoning on a petri net model",

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.",

author = "Luigl Portlnale",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1993.; 14th International Conference on Application and Theory of Petri Nets, 1993 ; Conference date: 21-06-1993 Through 25-06-1993",

year = "1993",

doi = "10.1007/3-540-56863-8_55",

language = "English",

isbn = "9783540568636",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "339--356",

editor = "{ Ajmone Marsan}, Marco",

booktitle = "Application and Theory of Petri Nets 1993 - 14th International Conference, Proceedings",

address = "Germany",

}

Portlnale, L 1993, Exploiting t-invariant analysis in diagnostic reasoning on a petri net model. in M Ajmone Marsan (a cura di), Application and Theory of Petri Nets 1993 - 14th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 691 LNCS, Springer Verlag, pagg. 339-356, 14th International Conference on Application and Theory of Petri Nets, 1993, Chicago, United States, 21/06/93. https://doi.org/10.1007/3-540-56863-8_55

Exploiting t-invariant analysis in diagnostic reasoning on a petri net model. / Portlnale, Luigl.
Application and Theory of Petri Nets 1993 - 14th International Conference, Proceedings. a cura di / Marco Ajmone Marsan. Springer Verlag, 1993. pag. 339-356 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 691 LNCS).

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo a conferenza › peer review

TY - GEN

T1 - Exploiting t-invariant analysis in diagnostic reasoning on a petri net model

AU - Portlnale, Luigl

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1993.

PY - 1993

Y1 - 1993

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=79959900593&partnerID=8YFLogxK

U2 - 10.1007/3-540-56863-8_55

DO - 10.1007/3-540-56863-8_55

M3 - Conference contribution

AN - SCOPUS:79959900593

SN - 9783540568636

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 339

EP - 356

BT - Application and Theory of Petri Nets 1993 - 14th International Conference, Proceedings

A2 - Ajmone Marsan, Marco

PB - Springer Verlag

T2 - 14th International Conference on Application and Theory of Petri Nets, 1993

Y2 - 21 June 1993 through 25 June 1993

ER -

Portlnale L. Exploiting t-invariant analysis in diagnostic reasoning on a petri net model. In Ajmone Marsan M, curatore, Application and Theory of Petri Nets 1993 - 14th International Conference, Proceedings. Springer Verlag. 1993. pag. 339-356. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-56863-8_55

Exploiting t-invariant analysis in diagnostic reasoning on a petri net model

Abstract

Serie di pubblicazioni

???event.eventtypes.event.conference???

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo