Marking dependency in non-Markovian stochastic Petri nets 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.