This Article 
 Bibliographic References 
 Add to: 
Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets"
December 1994 (vol. 43 no. 12)
pp. 1453-1456

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.

[1] M. Ajmone Marsan and G. Chiola, "On Petri nets with deterministic and exponentially distributed firing times," inAdvances in Petri Nets 1987, Lecture Notes in Computer Science 266, G. Rozenberg, Ed. New York: Springer, 1987, pp. 132-145.
[2] G. Ciardo and C. Lindemann. "Analysis of deterministic and stochastic Petri nets," inProc. 5th Int. Workshop on Petri Nets and Perform. Models, Toulouse, France, 1993, pp. 160-169.
[3] C. Lindemann, "An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models,"Perform. Eval., vol. 18, pp. 79-95, 1993.
[4] C. Lindemann, "DSPNexpress: A software package for the efficient solution of deterministic and stochastic Petri nets,"Perform. Evul., vol. 21, Feb. 1995 (to appear).
[5] M. Lu, D. Zhang, and T. Murata, "Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets,"IEEE Trans. Comput., vol. 39, pp. 597-604, 1990.

Index Terms:
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.
G. Ciardo, C. Lindemann, "Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets"," IEEE Transactions on Computers, vol. 43, no. 12, pp. 1453-1456, Dec. 1994, doi:10.1109/12.338111
Usage of this product signifies your acceptance of the Terms of Use.