In: Trans. Soc. Comput. Simul. (USA), Vol. 4, No. 4, pages 331-357. 1987.
Abstract: D-timed Petri nets are Petri nets with deterministic firing times assigned to transitions of a net. Several classes of D-timed Petri nets are discussed. Conflict-free inhibitor nets are sufficient to model communication protocols with timeouts. Enhanced nets with two classes of transitions, immediate and timed transitions, are introduced to reduce the state space.