In: IEEE Transactions on Computers, Vol. 39, No. 5, pages 597-604. May 1990.
Abstract: A model is developed for analyzing the fault-tolerant clock synchronization (FCS) system of the type supported by a statistical self-diagnosis. A model of a stochastic Petri net (SPN) is constructed to derive the self-stability measures of such FCS systems. The mapping from SPN model to Markov model can be automated by using an SPN software package. The SPN model is an excellent tool for obtaining self-stability measures.
Keywords: self-stabilizing clock synchronization; stochastic net; fault-tolerant clock synchronization; self-stability measure.