In: PTC'91, Pacific Telecommunications Conference, 13th Annual Conference, Honolulu, USA, January 13-16, 1991, pages 298-301. 1991.
Abstract: This paper deals with the modeling of the TDX-10 Internal Protocol (TIP). The TIP has been designed for providing packet-mode services among the TDX-10 switching systems. Before the TIP is implemented, it must be validated. In order to do this, we first extend timed Petri nets with time-out mechanism and then model the TIP using the extended timed Petri nets