Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems | IEEE Conference Publication | IEEE Xplore