Hybrid Petri nets with multiple stochastic transition firings
Hamed Ghasemieh, Anne Remke, Boudewijn R. H. M. Haverkort · 2015
This paper introduces an algorithm for the efficient computation of transient measures of interest in Hybrid Petri nets in which the stochastic transitions are allowed to fire an arbitrary but finite number of times. Each firing increases the dimensionality of the underlying discrete/continuous st