Title: Analysis of Phase-Type Stochastic Petri Nets with Discrete and Continuous Timing