Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baconnet J.P.: “Protocole de Communication Asynchrone TTA” - Note interne CERCI.
Beyeart B., Florin G., Lone P., Natkin S.: “Evaluation of Computer Systems Dependability using stochastic Petri Nets” - FTCS 11 - Portland Maine - June 1981.
Cinlar E.: “Introduction to Stochastic Process” - Prentice Hall 1975
Florin G., Natkin S, Natkin S.: “Evaluation des Performances d’un Protocole de C mmunication à l’aide des Réseaux de Petri et des Processus Stochastiques” - Journées AFCET multi-ordinateurs, multi-processeurs en temps réel - CNRS - Paris - Mai 1978.
Florin G., Natkin S.: “Les Réseaux de Petri Stochastiques: propriétés de conservation et formule de Little” - Ecole de Printemps d’Informatique théorique - Col levili e - Mai 1980 (Ed. Institut de Programmation, Paris I V ).
Florin G., Lonc P., Natkin S.: “Evaluation de la sûreté de fonctionnement par les Réseaux de Petri Stochastiques” - Congrès National de Fiabilité - Perros Guirec - Sept. 1980.
Howard R.A.: “Dynamic probabilistic systems (Til)” - John Wiley - 1971
Lavenberg: “Stability and maximum departure rate of certain open queueing network having finite capacity constraints” - RAIR0.B.V12 N°4 - 1978
Lemaire B.: “Méthode de conservation et blocage dans les files d’attente” - RAIR0.V.V4 - 1977.
Natkin S.: “Les Réseaux de Pétri Stochastiques et leur application à l’évaluation des systèmes informatiques” - Thèse de Docteur Ingénieur Juin 1980 - CNAM.
Pujol 1 e C.: “File d’attente en série et application aux taux de charge maximale d’un réseau d’ordinateurs” - RAIR0.B.V10 - N°5 - 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Florin, G., Natkin, S. (1982). Evaluation Based Upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_45
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive