Formal Modeling of Multi-Server Queuing Network Using Stochastic Petri Nets.

Pimporn Boon-in Wiwat Vatanawood

Published in: ICSEB (2019)

Keyphrases

queuing network
formal model
bayesian networks
modeling method
formal models
knowledge base
linear programming
multistage
dynamic aspects