Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings (Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control)