In: Journal of the Korea Information Science Society, Vol. 18, No. 1, pages 46-57. January 1991. In Korean.
Abstract: In order to construct a new protocol, requirement analysis, specification description, validation, implementation and testing of the protocol are needed. The paper extends conventional Petri nets to analyze communication protocols by including the time-out and then it models the internal protocol of the TDX-10 by using extended Petri nets and finally validates the internal protocol through reachability tree analysis.
Keywords: TDX protocol; extended net; internal protocol validation (through) reachability tree analysis.