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

Volume

43

Issue

12

fYear

1994

Firstpage

1453

Lastpage

1456

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;

fLanguage

English

Journal_Title

Computers, IEEE Transactions on

Publisher

ieee

ISSN

0018-9340

Type

jour

DOI

10.1109/12.338111

Filename

338111