Iraggi, Gandolfo (1992) Using performance Petri Nets modelling and analysis of communication protocol implementation. [SICS Report]
Full text not available from this repository.
This thesis reports from an investigation of the adequacy of performance Petri nets (PPNs) for modelling communication protocols and evaluating their performance. The report describes PPNs and their tools. It shows how an abstract specification of an existing communication protocol, the Trivial File Transfer Protocol (TFTP), can be modeled and how implemenmtation details can be added while preserving correctness. We use the tools to predict the performance of TFTP. The performance parameters of the model are obtained from an existing UNIX implementation of TFTP. The predicted performance is compared with measured performance of TFTP on a Sun workstation. From the results we evaluate PPNs with respect to modelling limitations, complexity, expressivity and accuracy.
|Item Type:||SICS Report|
|Deposited By:||Vicki Carleson|
|Deposited On:||05 Nov 2007|
|Last Modified:||18 Nov 2009 16:09|
Repository Staff Only: item control page