@booklet {300, title = {Petri nets with k simultaneously enabled generally distributed timedtransitions}, journal = {PERFORMANCE EVALUATION}, volume = {32}, year = {1998}, author = {A.PULIAFITO and Marco Scarpa and K.S.TRIVEDI} }