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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
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)
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)
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
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
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
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
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
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
Gribaudo, M., Sereno, M.: GSPN semantics for queueing networks with blocking. In: International Workshop on Petri Nets and Performance Models, pp. 26–35 (1997)
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
Iacono, M., Gribaudo, M.: Element based semantics in multi formalism performance models. In: MASCOTS, pp. 413–416. IEEE (2010)
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
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)
Menascé, D.: A methodology for combining GSPNs and QNs. In: 37th International Conference Computer Measurement Group (2011)
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)
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
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
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)