Using place invariants in Petri nets for functional diagnosis

zbMATH Open0875.68668MaRDI QIDQ1816079FDOQ1816079

Authors: Yanyan Li 

Publication date: 18 December 1996

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• Fault detection based on parity checks in Petri net controller
• Title not available (Why is that?)
• 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)