Concurrent Generalized Petri Nets

We extend the class of Markov Regenerative Stochastic Petri Nets* (MRSPN*s), removing the restriction that at most one generally distributed timed transition can be enabled in any marking. This new class of Petri Nets, which we call Concurrent Generalized Petri Nets (CGPNs) allows simultaneous enabling of immediate, exponentially distributed and generally distributed time transitions, under the hypothesis that the latter are all enabled at the same instant. The stochastic process underlying a CGPN is shown to be still an MRGP. We evaluate the kernel distribution of the underlying MRGP and define the steps required to generate it automatically.