Toward a definition of fault analysis for Petri nets models

DOI10.1016/0020-0190(90)90014-OzbMATH Open0695.68050OpenAlexW1982149536MaRDI QIDQ910240FDOQ910240

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

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

zbMATH Keywords

Petri net

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Fault Equivalence in Combinational Logic Networks

Cited In (5)

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