Formal Modeling of Multi-Server Queuing Network Using Stochastic Petri Nets
Pimporn Boon-in, Wiwat Vatanawood · 2019
Queuing network systems formally provide an extensive high-level model to assist in analyzing performance of incoming customer availability and service resources. The business process designer could adjust the queuing network constructs to cope with the time constraints in random manners. We aim at formalizing stochastic queues with multiple servers in this paper and constructing them into a complex multi-server queuing network system. Service time random behaviors are considered and transformed into Stochastic Petri Nets. A set of mapping rules are defined to transform a given multi-server queuing network into Stochastic Petri Nets. We demonstrate the construction of the isomorphic Markovian graph with the probability distribution of the queuing network.