Skip to main content
SpringerLink
Log in

Places, Transitions and Queues: New Proposals for Interconnection Semantics

  • Conference paper
  • First Online:
Computer Performance Engineering (EPEW 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13659))

Included in the following conference series:

  • 430 Accesses

Abstract

In this paper we discuss some novel considerations about the semantics of multiformalism models in which Petri Nets (PN) and Queuing Networks (QN) are coupled. These considerations aim to further increase the modeling power of the interconnections between places and transitions on one side and queues on the other. Although this type of interconnection has been previously addressed in the literature, during the works to extend the Java Modeling Tools (JMT) for adding PN primitives to existing QN models, we found that a wider range of interpretations of the interconnections between the two formalisms is possible, including cases that cannot be immediately tracked back to states superposition and events synchronization, but that can be easily implemented in discrete event simulation. In this work we present and discuss some of the most interesting scenario identified, with their potential applications.

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 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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

Notes

  1. 1.

    We are not interested, in this paper, to also consider model transformation based strategies, such as in [7].

  2. 2.

    For example, similarly as in [17].

References

  1. Balbo, G., Bruell, S., Ghanta, S.: Combining queuing network and generalized stochastic Petri Net models for the analysis of a software blocking phenomenon. In: International Workshop on Timed Petri Nets, pp. 208–225 (1985)

    Google Scholar 

  2. Balsamo, S., Marin, A.: On representing multiclass M/M/K queues by generalized stochastic Petri Nets. In: Proceedings of ASMTA 2007: 14th International Conference on Analytical and Stochastic Modelling Techniques and Applications, pp. 121–128 (2007)

    Google Scholar 

  3. Bause, F.: Queueing Petri Nets - a formalism for the combined qualitative and quantitative analysis of systems. In: 1993 Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM, pp. 14–23 (1993)

    Google Scholar 

  4. Becker, M., Szczerbicka, H.: PNiQ: integration of queuing networks in generalised stochastic Petri Nets. IEE Proc. Softw. 146(1), 27–32 (1999). https://doi.org/10.1049/ip-sen:19990153

    Article  Google Scholar 

  5. Boon-in, P., Vatanawood, W.: Formal modeling of multi-server queuing network using Stochastic Petri Nets. In: ACM International Conference Proceeding Series, pp. 44–50 (2019). https://doi.org/10.1145/3374549.3374563

  6. Casale, G., Serazzi, G., Zhu, L.: Performance evaluation with java modelling tools: a hands-on introduction. Perform. Eval. Rev. 45(3), 246–247 (2018). https://doi.org/10.1145/3199524.3199567

    Article  Google Scholar 

  7. Lara, J., Vangheluwe, H.: AToM3: a tool for multi-formalism and meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45923-5_12

    Chapter  Google Scholar 

  8. Deavours, D., et al.: The Möbius framework and its implementation. IEEE Trans. Softw. Eng. 28(10), 956–969 (2002). https://doi.org/10.1109/TSE.2002.1041052

    Article  Google Scholar 

  9. Gribaudo, M., Iacono, M.: An introduction to multiformalism modeling. In: Theory and Application of Multi-formalism Modeling, pp. 1–16 (2013). https://doi.org/10.4018/978-1-4666-4659-9.ch001

  10. Gribaudo, M., Sereno, M.: GSPN semantics for queueing networks with blocking. In: International Workshop on Petri Nets and Performance Models, pp. 26–35 (1997)

    Google Scholar 

  11. Iacono, M., Barbierato, E., Gribaudo, M.: The SIMTHESys multiformalism modeling framework. Comput. Math. Appl. 64(12), 3828–3839 (2012). https://doi.org/10.1016/j.camwa.2012.03.009

    Article  Google Scholar 

  12. Iacono, M., Gribaudo, M.: Element based semantics in multi formalism performance models. In: MASCOTS, pp. 413–416. IEEE (2010)

    Google Scholar 

  13. Kounev, S., Dutz, C.: QPME: a performance modeling tool based on queueing Petri Nets. SIGMETRICS Perform. Eval. Rev. 36(4), 46–51 (2009). https://doi.org/10.1145/1530873.1530883

    Article  Google Scholar 

  14. Lindemann, C., Hommel, G.: Combining deterministic and stochastic Petri net and product-form queueing network models for evaluating gracefully degradable systems. In: Proceedings, Advanced Computer Technology, Reliable Systems and Applications, pp. 880–884 (1991)

    Google Scholar 

  15. Menascé, D.: A methodology for combining GSPNs and QNs. In: 37th International Conference Computer Measurement Group (2011)

    Google Scholar 

  16. Moscato, F., Flammini, F., Di Lorenzo, G., Vittorini, V., Marrone, S., Iacono, M.: The software architecture of the OsMoSys multisolution framework. In: VALUETOOLS 2007–2nd International ICST Conference on Performance Evaluation Methodologies and Tools (2007)

    Google Scholar 

  17. Raiteri, D., Iacono, M., Franceschinis, G., Vittorini, V.: Repairable fault tree for the automatic evaluation of repair policies. Proceedings of the International Conference on Dependable Systems and Networks, pp. 659–668 (2004). https://doi.org/10.1109/dsn.2004.1311936

Download references

Author information

Authors and Affiliations

  1. Politecnico di Milano, via Ponzio 4/5, 20133, Milan, Italy

    Marco Gribaudo

  2. Università degli Studi della Campania “L. Vanvitelli”, viale Lincoln 5, 81100, Caserta, Italy

    Mauro Iacono

Authors
  1. Marco Gribaudo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mauro Iacono
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mauro Iacono .

Editor information

Editors and Affiliations

  1. Miguel Hernandez University, Elche, Spain

    Katja Gilly

  2. Newcastle University, Newcastle upon Tyne, UK

    Nigel Thomas

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Gribaudo, M., Iacono, M. (2023). Places, Transitions and Queues: New Proposals for Interconnection Semantics. In: Gilly, K., Thomas, N. (eds) Computer Performance Engineering. EPEW 2022. Lecture Notes in Computer Science, vol 13659. Springer, Cham. https://doi.org/10.1007/978-3-031-25049-1_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-25049-1_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-25048-4

  • Online ISBN: 978-3-031-25049-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation