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

fault checkingfunctional diagnosisPetri nets

Mathematics Subject Classification ID

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

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)

• Fault detection based on parity checks in Petri net controller
• scientific article; zbMATH DE number 2150739 (Why is no real title available?)
• scientific article; zbMATH DE number 2220094 (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)