Descripción: “...-time stochastic modeling based on Stochastic Petri Nets. The model is solved at steady-state using both...”