Issue No. 12 - December (1994 vol. 43)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.338111
<p>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.</p>
synchronisation; stochastic processes; Petri nets; performance evaluation; fault tolerant computing; self-stabilizing clock synchronization; stochastic Petri nets; steady-state analysis; deterministic and stochastic Petri net; fault-tolerant clock synchronisation systems; clocking modules; software package DSPNexpress.
C. Lindemann and G. Ciardo, "Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets"," in IEEE Transactions on Computers, vol. 43, no. , pp. 1453-1456, 1994.