Loading...
conference paper
A Petri Net based approach for modelling multi-layered distributed protocols
Sergent, N.
1996
Proceedings of the 8th IASTED International Conference on Parallel and Distributed Computing and Systems
A Petri Net based approach for modelling multi-layered distributed protocols N. Sergent This paper presents an original modelling approach which aims to provide probabilistic guarantees on time in asynchronous distributed systems for several important algorithms, like consensus and atomic broadcast. The modelling framework is based on Hierarchical Coloured Timed Petri Nets (HCTPN). Simulation is used not only to find statistical upper bounds on the termination time of these algorithms but also to study the influence of the Fault Detectors parameters and to obtain optimal values for them.
Loading...
Name
Ser96b.ps
Access type
openaccess
Size
87.6 KB
Format
Postscript
Checksum (MD5)
f799415535d2eae03bb84a34a053a9c2