A Software Tool for the Automatic Analysis of Generalized Stochastic Petri Net Models