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

zbMath0691.68073MaRDI QIDQ582920

L. A. Krasnobaev, V. A. Krasnobayev

Publication date: 1988

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

zbMATH Keywords

Petri netsprocessesfault-tolerant computers

Mathematics Subject Classification ID

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

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