A Petri net extended with stochastic priced transition | IEEE Conference Publication | IEEE Xplore