"On-the-fly" solution techniques for stochastic Petri nets and extensions | IEEE Conference Publication | IEEE Xplore