Miguel Felder Carlo Ghezzi Mauro Pezzè High-Level Timed Petri Nets as a Kernel for Executable Specifications. 235-248 1993 5 Real-Time Systems 2-3 db/journals/rts/rts5.html#FelderGP93 http://dx.doi.org/10.1007/BF01088590