Modelling and evaluating dynamic switching networks using stochastic Petri nets | IEEE Conference Publication | IEEE Xplore