Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions
Hamed Ghasemieh, Anne Remke, Boudewijn R. H. M. Haverkort, Gianfranco Ciardo · 2016
We extend the modelling formalism of Hybrid Petri nets with so-called Probabilistic Timed Transitions (PTT), whose ring times are chosen probabilistically from a discrete and nite support. In this setting, each state of the system can have several successor states, one for each element in the disc