Felix Engelhard, Graham Horton: Analytical solution of non-Markovian Stochastic Petri nets. SimVis 2007: 311-324