Kishor S. Trivedi Andrea Bobbio Miklós Telek Reinhard German Gianfranco Ciardo Antonio Puliafito Non-Markovian Petri Nets (Panel). 263-264 1995 SIGMETRICS db/conf/sigmetrics/sigmetrics95.html#TrivediBTGCP95 http://doi.acm.org/10.1145/223587.223616