Title :
Comments on "Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets"
Author :
Ciardo, Gianfranco ; Lindemann, Christoph
Author_Institution :
Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
Abstract :
We point out some errors in the combinatorial approach for the steady-state analysis of a deterministic and stochastic Petri net (DSPN) presented by M. Lu, D. Zhang, and T. Murata (1990). However, the methodology for analyzing the self-stability of fault-tolerant clock synchronisation (FCS) systems introduced in that paper is applicable for FCS systems with many clocking modules, even if the combinatorial approach is not valid. This is due to the progress in improving the efficiency of the DSPN solution algorithm made in recent years. We show that the explicit computation of the steady-state solution of the DSPN can be performed with reasonable computational effort on a modern workstation by the software package DSPNexpress.<>
Keywords :
Petri nets; fault tolerant computing; performance evaluation; stochastic processes; synchronisation; clocking modules; deterministic and stochastic Petri net; fault-tolerant clock synchronisation systems; self-stabilizing clock synchronization; software package DSPNexpress; steady-state analysis; stochastic Petri nets; Clocks; Electromagnetic compatibility; Fault tolerant systems; Performance analysis; Petri nets; Probability distribution; Steady-state; Stochastic processes; Stochastic systems; Synchronization;
Journal_Title :
Computers, IEEE Transactions on
