In: Computer Communications, Vol. 13, No. 2, pages 73-82. 1990.
Abstract: A methodology and a package is proposed that has been developed for performance analysis of a class type of timed Petri net model which is particularly suitable for, but not restricted to, communication protocols. The method's theoretical foundation, which is based on analysing the embedded Markov chain of a derived decision reachability graph for the TPN model that is considered, is presented. The methodology is demonstrated by analysing two simple models: an alternating bit data link protocol; and a two-stage pipeline processor architecture.
Keywords: performance analysis timed net; communication protocol; Markov chain; reachability graph; alternating bit data link protocol; pipeline processor.