Longo, F., M. Scarpa, and A. Puliafito,  "WebSPN: A Flexible Tool for the Analysis of Non-Markovian Stochastic Petri Nets",  Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi on his 70th Birthday, Cham, Springer International Publishing, pp. 255?285, 2016.