PERFORMANCE ANALYSIS OF TIMED PETRI NET MODELS FOR COMMUNICATION PROTOCOLS - A METHODOLOGY AND A PACKAGE

被引：4
作者：
ELKARAKSY, MR
NOUH, AS
ALOBAIDAN, A
机构：
[1] Computer Science Department, King Saud University, Riyadh, 11543
来源：
COMPUTER COMMUNICATIONS | 1990年 / 13卷 / 02期
关键词：
communication protocols; modelling; performance analysis; timed Petri nets;
D O I：
10.1016/0140-3664(90)90174-F
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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. © 1990.
引用
收藏
页码：73 / 82
页数：10
相关论文
共 17 条
12