Distefano, S., F. Longo, and M. Scarpa,  "Marking dependency in non-Markovian stochastic Petri nets",  Performance Evaluation, vol. 110: Elsevier B.V., pp. 22-47, 2017.

Bruneo, D., S. Distefano, F. Longo, and M. Scarpa,  "Stochastic evaluation of QoS in service-based systems",  IEEE Transactions on Parallel and Distributed Systems - IEEE Computer Society, vol. 24, no. 10, pp. 2090-2099, 2013.