Timed Petri nets and their application to communication protocol specification

A generalized timed Petri net representation is defined and several time Petri net models compared. By introducing a new way to include a time variable in the Petri net and the firing rules, the authors realized a new timed Petri net that includes the other two principal types of timed Petri nets. This new timed Petri net seems to take a more general form than other types of time Petri nets defined so far. Therefore, complex systems are expected to be modeled with it. The authors present a model to represent a timer in order to model real communication systems properly. An example is given in which the timed Petri net representation and the timer model are applied to a communication protocol. With the results provided, communication protocols involving timers and transmission errors can be modeled