In: Microprocessing and Microprogramming, Vol. 22, No. 3, pages 175-185. 1988.
Abstract: The paper considers techniques for the systematic and proper placement of software fault tolerant structures for distributed systems. It describes the design of such a system and shows how the error detection and recovery mechanisms can be included in the system model. The modelling and simulation are done using Petri nets.