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.

El-Karaksy, M. Reda; Nouh, Adnan S.; Al-Obaidan, Abdul Rahman

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.

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

Back to the Petri Nets Bibliography