Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Petri Nets