Formalism of Stochastic Queueing Network using Stochastic Petri Nets. - Kesinee Soomanat; Wiwat Vatanawood (SNPD, 2018)