New Results for the Analysis of Deterministic and Stochastic Petri NetsTransient Analysis of Markov Regenerative Stochastic Petri Nets: A Comparison of Approaches
