.PULIAFITO, A., M. Scarpa, and K..S.TRIVEDI,  "Petri nets with k simultaneously enabled generally distributed timedtransitions",  PERFORMANCE EVALUATION, vol. 32, 1998.