Application of Petri nets for the modeling of detection and location of intermittent faults in computers

MaRDI QIDQ582920zbMATH OpenFDO

Authors L. A. Krasnobaev, V. A. Krasnobayev

Publication date 1988

Published in Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

fault-tolerant computersPetri netsprocesses

Mathematics Subject Classification ID

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

Recommendations

• The use of Petri nets to analyze coherent fault trees
• Toward a definition of fault analysis for Petri nets models
• scientific article; zbMATH DE number 3922334
• Analysis of the fault tolerance of complex systems by extensions of Petri nets
• scientific article; zbMATH DE number 641375

Cited in

(4)

• Using Petri nets during debugging to localize software errors
• Analysis of the fault tolerance of complex systems by extensions of Petri nets
• The use of Petri nets to analyze coherent fault trees
• Toward a definition of fault analysis for Petri nets models

This page was built for publication: Application of Petri nets for the modeling of detection and location of intermittent faults in computers

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