Wlodzimierz M. Zuberek Timed Petri Nets and Preliminary Performance Evaluation. 88-96 1980 ISCA db/conf/isca/isca80.html#Zuberek80