Timed Petri Nets - inbunden, Engelska, 1998