Evaluation Based Upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol

This paper introduces some principles and tools which can be used to evaluate the maximum throughput of a class of computing processes. The function of these processes is to manage queues in computer systems (device handlers, communication protocols). Our approach is based upon stochastic Petri net models. We show how the theorem on maximum rate (Lavenberg) can be applied to stochastic Petri nets. This theoretical result and a general purpose evaluation software tool allows the numerical evaluation of maximum throughput rates. As an example, the maximum throughput of a full duplex protocol is computed.