Kronecker representation of Stochastic Petri nets with discrete PH distributions