Abstract
In this paper, our objective is to derive exact performance evaluation results for the transient behaviour of stochastic timed bp-schemes. We define such networks by introducing time and probabilities in a bp-scheme. We show that classical G.E.R.T analysis can be used for stochastic timed bp-schemes with only EXCLUSIVE-OR nodes. Then we extend classical G.E.R.T analysis to networks containing both EXCLUSIVE-OR and AND nodes by defining two kinds of reduction rules: the first ones are issued from directly analysable subnetworks, the second ones are the quantitative versions of some of the rules allowing to decide wether a bp-scheme is well-behaved or not.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
VII. References
COMMONER.F.,HOLT A.W.,EVEN S.,PNUELI A. (1971) "Marked Directed Graphs" Journal of Computer and System Sciences, 5.
GENRICH H.J., THIAGARAJAN P.S. (1984) "A Theory for Bipolar Synchronization Schemes" Theoretical Computer Science, 30.
GENRICH H.J., THIAGARAJAN P.S. (1982) "Well-formed Flow Charts for Concurrent Programming" Formal Description of Programming Concepts-II (D.Björner, ED) North Holland 1983.
PRITSKER A.A.B., HAPP W.W. (1966) "GERT: Graphical Evaluation and Review Technique, Part I, Fundamentals." Journal of Industrial Engineering, vol 17,no 5.
PRITSKER A.A.B., WHITEHOUSE G.E. (1966) "GERT: Graphical Evaluation and Review Technique, Part II, Probabilistic and Engineering applications." Journal of Industrial Engineering, vol 17,no 6.
WHITEHOUSE G.E. (1970) "Systems analysis and design using network techniques" Prentice Hall, New Jersey.
KLEINROCK.L (1976) "Queueing Systems, volume II, Computer Applications" John WILEY.
NATKIN.S.,FLORIN.G (1985) "Les réseaux de Petri stochastiques: Théorie et Applications" Thèse d'état, Université Paris 6.
BALBO.B.,MARSAN.M.A.,CONTE.G.A (1984) "A Class of General Stochastic Petri Nets for the Performance Evaluation of Multiprocessors Systems" ACM Trans on Computer Systems 2,(2).
KLEINROCK.L (1976) "Queueing Systems, volume I, Theory" John WILEY.
NEUMANN. K.,STEINHARDT. V (1979) "G.E.R.T. Networks and the Time-Oriented Evaluation of Projects" Lecture Notes in Economics and Mathematical Systems, 172, Springer Verlag, Berlin, Heidelberg, New York.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Quichaud, D., Chretienne, P. (1988). Performance evaluation of interpreted bipolar synchronization schemes using G.E.R.T.. In: Rozenberg, G. (eds) Advances in Petri Nets 1988. APN 1987. Lecture Notes in Computer Science, vol 340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50580-6_37
Download citation
DOI: https://doi.org/10.1007/3-540-50580-6_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50580-8
Online ISBN: 978-3-540-46059-6
eBook Packages: Springer Book Archive