Hybrid analysis of non-Markovian stochastic petri nets