A Petri Net based approach for modelling multi-layered distributed protocols

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.


Published in:
Proceedings of the 8th IASTED International Conference on Parallel and Distributed Computing and Systems, 415-417
Year:
1996
Laboratories:




 Record created 2005-05-20, last modified 2018-03-17

n/a:
Download fulltext
PS

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)