International Workshop on Timed Petri Nets (1985 Turin)