ParEs - A Parameter-Estimation-Tool. - Felix Engelhard; Stefan Greiner; Reinhard German (DSN, 2003)

Analytical solution of non-Markovian Stochastic Petri nets. - Felix Engelhard; Graham Horton (SimVis, 2007)