For the most recent entries see the Petri Nets Newsletter.

Validation of TDX Protocols Using Extended Petri Nets.

Cheul, Woo Ro; Dan, Keun Sung

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography