A new approach to discrete time stochastic Petri nets