Formal Modeling of Multi-Server Queuing Network Using Stochastic Petri Nets. - Pimporn Boon-in; Wiwat Vatanawood (ICSEB, 2019)