In order to construct a new protocol, requirement analysis, specification description, validation, implementation and testing of the protocol are needed. In this paper, we extend conventional Petri Nets to analyze communication protocols by including ...
In order to construct a new protocol, requirement analysis, specification description, validation, implementation and testing of the protocol are needed. In this paper, we extend conventional Petri Nets to analyze communication protocols by including the time-out and then we model the internal protocol of the TDX-10™ by using extended Petri Nets and finally validate the internal protocol through the reachability tree analysis.