Title :
Protocol analysis based on EPr/TN net
Author :
Fan, Xiaoqin ; Tan, Ying ; Zeng, Jianchao
Author_Institution :
Inst. of Syst. Simulation & Comput. Application, Taiyuan Heavy Machinery Inst., China
Abstract :
Protocol analysis is the center of protocol engineering science, and the performance of computer networks can be evaluated through it. A protocol is analyzed for quality and quantity using EPr/TN for qualitative analysis. The EPr/TN model is given and some properties relative to the protocol can be deduced; quantitative analysis is made through the performance expression that can be obtained by the EPr/TN model describing the parameter relation of protocol flows.
Keywords :
Petri nets; computer networks; performance evaluation; protocols; EPr/TN net; Petri nets; computer network performance; protocol analysis; protocol engineering science; protocol flows; qualitative analysis; quantitative analysis; Analytical models; Computational modeling; Computer applications; Computer networks; Computer simulation; Electronic mail; Machinery; Paramagnetic resonance; Performance analysis; Protocols;
Conference_Titel :
Intelligent Control and Automation, 2002. Proceedings of the 4th World Congress on
Print_ISBN :
0-7803-7268-9
DOI :
10.1109/WCICA.2002.1020053
