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.