Abstract
Petri Net models have been extended in a variety of ways and have been used to prove the correctness and evaluate the performance of communication protocols. Several extensions have been proposed to model time. This work uses a form of Timed Petri Nets and presents a technique for symbolically deriving expressions, which describe system performance. Unlike past work on performance evaluation of Petri Nets which assumes a priori knowledge of specific time delays, the technique presented here applies to a wide range of time delays so long as the delays satisfy a set of timing constraints. The technique is demonstrated using a simple communication protocol.
- 1 Berthomieu, B., and M. Menasche, "An Enumerative Approach for Analyzing Time Petri Nets" Proceedings of the 1983 IFIP Congress, Paris, (Sept. 1983).Google Scholar
- 2 Berthelot, G. and Richard Terrat, "Petri Net Theory for the Correctness of Protocols," Protocol Specification, Testing and Verification, G. Sunshine (ed.), North-Holland Pub. Co., (1982). Google ScholarDigital Library
- 3 Bochmann, G.V., "A General Transition Model of Protocols and Communication Services," IEEE Transactions on Communication COM-28,4 (April 1980), pp. 645-650.Google Scholar
- 4 Coolahan, J.E., and N. Roussopoulos, "Timing Requirements for Time-Driven Systems Using Augmented Petri Nets" IEEE Transactions on Software Engineering, SE-9,5 (Sept. 1983), pp. 603-616.Google Scholar
- 5 Hailpern, B. and S. Owicki, "Verifying Network Protocols Using Temporal Logic", Proceedings of Trends and Applications Symposium, 1980, Computer Network Protocols National Bureau of Standards, Maryland, (May 1980).Google Scholar
- 6 Merlin, P. and D. Farber, "A Methodology for the Design and Implementation of Communications Protocols," IEEE Transactions on Communications, COM-24, 6 (June 1976).Google Scholar
- 7 Molloy, M. "On the Integration of Delay and Throughput Measures in Distributed Processing Models", Computer Science Dept., University of California, Los Angeles, Report No. CSD-810921, September 1981.Google Scholar
- 8 Razouk, R.R., and G. Estrin "Modeling and Verification of Communication Protocols: The X.21 Interface" IEEE Transactions on Computers, C-29,12 (December 1980), pp. 1038-1052.Google ScholarDigital Library
- 9 Ramamoorthy C.V. and G.S. Ho, "Performance Evaluation of Asynchronous Concurrency Systems using Petri Nets," IEEE Transactions on Software Engineering, SE-6, 5 (September 1980), 440-449.Google Scholar
- 10 Ramchandani, C. "Analysis of Asynchronous Concurrent Systems by Timed Petri Nets," Ph.D. Thesis, MIT 1974, Project Mac Report No. MAC-TR-120. Google ScholarDigital Library
- 11 Razouk, R.R., and C. Phelps "Performance Analysis Using Timed Petri Nets", Tech. Rept. 206, University of California, Irvine, (1983). (Submitted to 4th Int. Conf. on Distributed Computing Systems, May 1984).Google Scholar
- 12 Sabnani, K. and M. Schwartz, "Verification of a Multidestination Protocol Using Temporal Logic", Protocol Specification, Testing and Verification, C Sunshine (ed.) North-Holland Pub. Co., (1982). Google ScholarDigital Library
- 13 Sifakis, J. "Petri Nets for Performance Evaluation," Measuring, Modelling and Evaluating Computer Systems, Proceedings of the 3rd International Symposium, IFIP Working Group 7.3, H. Beilner and E. Gelenbe (eds.), North-Holland Pub. Co. (1977), pp. 75-93. Google ScholarDigital Library
- 14 Simon, G. and D. Kaufman, "An Extended Finite State Machine Approach to Protocol Specification," Protocol Specification, Testing and Verification, C. Sunshine (ed.), North-Holland Pub. Co. (1982). Google ScholarDigital Library
- 15 Symons, F.J.W., "Verification of Communication Protocols using Numerical Petri Nets," Australian Telecommunication Research, 14,1 (1980) 34-38.Google Scholar
- 16 Teng, A.Y., and M.T. Liu, "A Formal Approach to the Design and Implementation of Network Communication Protocol," Proceedings of COMPSAC, (May 1980), pp. 722-727.Google Scholar
- 17 Vernon, M.K., E. de Souza e Silva, and G. Estria "Performance Evaluation of Asynchronous Concurrent Systems: The UCLA Graph Model of Behavior" 9th International Symposium on Computer Performance Modelling, Measurement and Evaluation, College Park, Maryland, May 25-27, 1983. Google ScholarDigital Library
- 18 Yelowits, L., S. Gerhart, and G. Hilborn, "Modeling a Network Protocol in Affirm and Ada", Protocol Specification, Testing and Verification, C. Sunshine (ed.), North-Holland Pub. Co., (1982). Google ScholarDigital Library
- 19 Zuberek, W.M., "Timed Petri Nets and Preliminary Performance Evaluation," 7th Annual Symposium on Computer Architecture, (1980), pp. 88-96. Google ScholarDigital Library
Index Terms
- The derivation of performance expressions for communication protocols from timed petri net models
Recommendations
The derivation of performance expressions for communication protocols from timed petri net models
SIGCOMM '84: Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposiumPetri Net models have been extended in a variety of ways and have been used to prove the correctness and evaluate the performance of communication protocols. Several extensions have been proposed to model time. This work uses a form of Timed Petri Nets ...
A Generalized Timed Petri Net Model for Performance Analysis
We have developed a Generalized Timed Petri Net (GTPN) model for evaluating the performance of computer systems. Our model is a generalization of the TPN model proposed by Zuberek [1] and extended by Razouk and Phelps [2]. In this paper, we define the ...
Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems
The manufacturing systems used in the modern industry are usually composed of complex and sophisticated processing equipment which are integrated by automated material handling means and by advanced networks for information transfer. To understand many ...
Comments