For the most recent entries see the Petri Nets Newsletter.

Performance Analysis of Timed Petri Net Models for Communication Protocols: a Methodology and a Package.

Reda El Karaksy, M.; Nouh, A.S.; Al Obaidan, A.

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.

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

Back to the Petri Nets Bibliography