Toward a definition of fault analysis for Petri nets models

DOI10.1016/0020-0190(90)90014-OMaRDI QIDQ910240zbMATH OpenOpenAlexFDO

Authors M. R. Zargham, Kenneth J. Danhof

Publication date 1990

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(90)90014-o

zbMATH Keywords

Petri net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Analysis of the fault tolerance of complex systems by extensions of Petri nets
• Using place invariants in Petri nets for functional diagnosis
• Application of Petri nets for the modeling of detection and location of intermittent faults in computers
• On-line fault detection in discrete event systems by Petri nets and integer linear programming
• Model-based fault identification of discrete event systems using partially observed Petri nets

Cites work

• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• Fault Equivalence in Combinational Logic Networks

Cited in

(5)

• Application of Petri nets for the modeling of detection and location of intermittent faults in computers
• Analysis of the fault tolerance of complex systems by extensions of Petri nets
• The use of Petri nets to analyze coherent fault trees
• Determination of path identifiers for reliability analysis of a broadcasting network using Petri nets
• Structured redundancy for fault tolerance in state-space models and Petri nets.

This page was built for publication: Toward a definition of fault analysis for Petri nets models

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