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