Skip to main content
SpringerLink
Log in

Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets

  • Conference paper
Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7984))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Article  Google Scholar 

  2. 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)

    Article  MathSciNet  MATH  Google Scholar 

  3. 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)

    Article  Google Scholar 

  4. Buzen, J.P.: Computational algorithms for closed queueing networks with exponential servers. Commun. ACM 16(9), 527–531 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  5. 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)

    Article  MATH  Google Scholar 

  6. Esparza, J., Nielsen, M.: Decidability Issues for Petri Nets - a Survey. Bulletin of the European Association for Theoretical Computer Science 52, 245–262 (1994)

    MATH  Google Scholar 

  7. Gelenbe, E.: Product form networks with negative and positive customers. J. of Appl. Prob. 28(3), 656–663 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  8. Harrison, P.G.: Turning back time in Markovian process algebra. Theoretical Computer Science 290(3), 1947–1986 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  9. Harrison, P.G.: Reversed processes, product forms and a non-product form. Linear Algebra and Its Applications 386, 359–381 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  10. 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)

    Article  MathSciNet  MATH  Google Scholar 

  11. 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)

    Article  MathSciNet  MATH  Google Scholar 

  12. Lazar, A.A., Robertazzi, T.G.: Markovian Petri Net Protocols with Product Form Solution. Perf. Eval. 12(1), 67–77 (1991)

    Article  MathSciNet  Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. Marin, A., Balsamo, S., Harrison, P.G.: Analysis of stochastic Petri nets with signals. Perform. Eval. 69(11), 551–572 (2012)

    Article  Google Scholar 

  16. Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. Wiley (1995)

    Google Scholar 

  17. Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Trans. on Comput. 31(9), 913–917 (1982)

    Article  Google Scholar 

  18. Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  19. Resiser, M., Lavenberg, S.S.: Mean Value Analysis of closed multichain queueing network. J. ACM 27(2), 313–320 (1980)

    Article  Google Scholar 

  20. Sereno, M., Balbo, G.: Mean Value Analysis of stochastic Petri nets. Perform. Eval. 29(1), 35–62 (1997)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze Ambientali, Informatica e Statistica, Università Ca’ Foscari di Venezia, via Torino 155, Venezia, Italy

    Simonetta Balsamo, Gian-Luca Dei Rossi & Andrea Marin

Authors
  1. Simonetta Balsamo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gian-Luca Dei Rossi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrea Marin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Belarusian State University, Nezavisimosti Ave. 4, 220030, Minsk, Belarus

    Alexander Dudin

  2. Department of Telecommunications and Information Processing, Ghent University, Sint-Pietersnieuwstraat 41, 9000, Gent, Belgium

    Koen De Turck

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation