This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets
October 1985 (vol. 11 no. 10)
pp. 1216-1225
K. Garg, Department of Electronics and Communication Engineering, University of Roorkee
There has been a lot of interest in the past decade in using timed Petri nets to model computer systems. In this paper we show how such timed Petri nets can be used to great advantage in describing and algebraically specifying communication system performance. We make use of the time parameter of timed Petri nets to model the delay in performing certain operations of a communication protocol. The specification is borrowed from the recently reported AFFIRM language, and the protocol chosen for illustration is the ECMA transfer protocol, proposed for the ISO reference model. However, the methodology can be used with other protocols as well. We also show how liveness properties can be specified, easily using timed Petri nets.
Index Terms:
timed Petri nets, Distributed computer systems, natural-deduction theorem proving, performance evaluation, performance modeling and analysis, Petri nets, protocol, protocol specifications
Citation:
K. Garg, "An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets," IEEE Transactions on Software Engineering, vol. 11, no. 10, pp. 1216-1225, Oct. 1985, doi:10.1109/TSE.1985.231869
Usage of this product signifies your acceptance of the Terms of Use.