In: Computer Communications, Vol. 13, No. 2, pages 73-82. March 1990.
Abstract: A methodology and a package is proposed that has been developed for performance analysis of a class of timed Petri nets (TPN)which is particularly suitable for 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 an alternating bit data link protocol and a two-stage pipeline processor architecture.
Keywords: performance analysis; timed net; communication protocol; Markov chain (of a) decision reachability graph; bit data link protocol; pipeline processor.