"Proceedings?International Workshop on Timed Petri Nets", IEEE Design & Test of Computers vol. 3 no. , p. 77, , 1986