Stochastic Petri nets: accomplishments and open problems | IEEE Conference Publication | IEEE Xplore