Using place invariants in Petri nets for functional diagnosis

MaRDI QIDQ1816079zbMATH OpenFDO

Authors Yanyan Li

Publication date 18 December 1996

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

Petri netsfunctional diagnosisfault checking

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2150739
• scientific article; zbMATH DE number 2220094
• Diagnosis of Petri Nets
• Distributed diagnosis of discrete-event systems using Petri nets
• Toward a definition of fault analysis for Petri nets models

Cited in

(4)

• scientific article; zbMATH DE number 2220094 (Why is no real title available?)
• Fault detection based on parity checks in Petri net controller
• scientific article; zbMATH DE number 2150739 (Why is no real title available?)
• Toward a definition of fault analysis for Petri nets models

This page was built for publication: Using place invariants in Petri nets for functional diagnosis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1816079)