Dealing with arbitrary time distributions with the stochastic timed Petri net model-application to queueing systems | IEEE Conference Publication | IEEE Xplore