Abstract
In this paper we consider a particular class of stochastic Petri nets that admits a product-form stationary distribution under general conditions (independent exponentially distributed firing time). We show that the structure of these stochastic Petri nets is appropriate for modelling systems in which several components compete for a resource and conflicts may arise during the contention that require to newly perform the operation after a recovery time. Examples of these systems are wireless stations competing for a channel or processes operating on the same database concurrently. We derive the performance indices as functions of the model parameters, i.e., firing rates, probabilities of conflicts, number of competing components.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
Balsamo, S., Harrison, P.G., Marin, A.: Methodological construction of product-form stochastic Petri nets for performance evaluation. Journal of Systems and Software 85(7), 1520–1539 (2012)
Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, F.G.: Open, closed, and mixed networks of queues with different classes of customers. J. ACM 22(2), 248–260 (1975)
Boucherie, R.J.: A characterisation of independence for competing Markov chains with applications to stochastic Petri nets. IEEE Trans. on Software Eng. 20(7), 536–544 (1994)
Buzen, J.P.: Computational algorithms for closed queueing networks with exponential servers. Commun. ACM 16(9), 527–531 (1973)
Coleman, J.L., Henderson, W., Taylor, P.G.: Product form equilibrium distributions and a convolution algorithm for Stochastic Petri nets. Perf. Eval. 26(3), 159–180 (1996)
Esparza, J., Nielsen, M.: Decidability Issues for Petri Nets - a Survey. Bulletin of the European Association for Theoretical Computer Science 52, 245–262 (1994)
Gelenbe, E.: Product form networks with negative and positive customers. J. of Appl. Prob. 28(3), 656–663 (1991)
Harrison, P.G.: Turning back time in Markovian process algebra. Theoretical Computer Science 290(3), 1947–1986 (2003)
Harrison, P.G.: Reversed processes, product forms and a non-product form. Linear Algebra and Its Applications 386, 359–381 (2004)
Harrison, P.G., Lee, T.T.: Separable equilibrium state probabilities via time reversal in Markovian process algebra. Theoretical Computer Science 346(1), 161–182 (2005)
Henderson, W., Lucic, D., Taylor, P.G.: A net level performance analysis of Stochastic Petri Nets. J. Austral. Math. Soc. Ser. B 31, 176–187 (1989)
Lazar, A.A., Robertazzi, T.G.: Markovian Petri Net Protocols with Product Form Solution. Perf. Eval. 12(1), 67–77 (1991)
Le Boudec, J.Y.: A BCMP extension to multiserver stations with concurrent classes of customers. In: SIGMETRICS 1986/PERFORMANCE 1986: Proc. of the 1986 ACM SIGMETRICS Int. Conf. on Computer Performance Modelling, Measurement and Evaluation, pp. 78–91. ACM Press, New York (1986)
Mairesse, J., Nguyen, H.-T.: Deficiency Zero Petri Nets and Product Form. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 103–122. Springer, Heidelberg (2009)
Marin, A., Balsamo, S., Harrison, P.G.: Analysis of stochastic Petri nets with signals. Perform. Eval. 69(11), 551–572 (2012)
Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. Wiley (1995)
Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Trans. on Comput. 31(9), 913–917 (1982)
Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE 77(4), 541–580 (1989)
Resiser, M., Lavenberg, S.S.: Mean Value Analysis of closed multichain queueing network. J. ACM 27(2), 313–320 (1980)
Sereno, M., Balbo, G.: Mean Value Analysis of stochastic Petri nets. Perform. Eval. 29(1), 35–62 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Balsamo, S., Rossi, GL.D., Marin, A. (2013). Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets. In: Dudin, A., De Turck, K. (eds) Analytical and Stochastic Modeling Techniques and Applications. ASMTA 2013. Lecture Notes in Computer Science, vol 7984. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39408-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-39408-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39407-2
Online ISBN: 978-3-642-39408-9
eBook Packages: Computer ScienceComputer Science (R0)