Performance Petri net analysis of communications protocol software by delay-equivalent aggregation

Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991

Volumn , Issue , 1991, Pages 64-73

  Woodside, C Murray ^a   Li, Yao ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS; MARKOV PROCESSES;

AUXILIARY MODELS; COMMUNICATIONS PROTOCOLS; DATA-COMMUNICATION; PARALLEL IMPLEMENTATIONS; PERFORMANCE ANALYSIS; PETRI NET MODELS; SOLUTION ACCURACY; STATE COMPLEXITY;

PETRI NETS;

EID: 33747297395     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.1991.238781     Document Type: Conference Paper

References (16)

1. Ammar, H.H. and S.M.R. Islam, "Time Scale Decomposition of A Class of Generalized Stochastic Petri Net Models, " IEEE Transactions on Software Eng., Vol. 15, No. 6, June 1989, pp. 809-820.
2. Berthelot, G. and Lri-Iie, "Checking Properties of Nets Using Transformations, " Advances in Petri Nets, Lecture Notes in Computer Science, Vol. 222, 1985, pp. 19-40.
3. Berthelot, G., Cham-lie and Lri, "Transformations and Decompositions of Nets, " Advances in Petri Nets, Lecture Notes in Computer Science, Vol. 254, Part 1, 1986, pp. 359-376.
4. Ciardo, G. and K.S. Trivedi, "Solution of Large GSPN Models, " The First Int'l Conf. on the Numerical Solution of Markov Chains, Raleigh, North Carolina, Jan. 8-10, 1990, pp. 603-626.
5. Courtois, P.J., "Decomposability: Queueing and Computer Applications, " Academic Press, New York, 1977.
6. Franks, R.G., "Experience in Concurrency in OSI Communications Software: A Comparative Performance Study, " Master's Thesis, Dept. of Systems and Computer Eng., Carleton University, July 1989.
7. Giglmayr, J., "Analysis of Stochastic Petri Nets by the Decomposition of the Transition Rate Matrix, " NTZ Archiv (Germany), Part 1: Vol. 9, No. 5, May 1987, pp. 115-120; Part 2: Vol. 9, No. 6, June 1987, pp. 147-152.
8. Hatono, I., K. Yamagata and H. Tamura, "Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets, " IEEE Trans, on Software Eng., Vol. 17, No. 2, Feb. 1991, pp. 126-132.
9. Jacobson, P.A. and E.D. Lazouska, "Analyzing Queueing Networks with Simultaneous Resource Possession, " Communications of the ACM, Vol. 25, No. 2, Feb., 1982, pp. 142-151.
10. Li, Y. and C.M. Woodside, "Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets, " The 12th Int'l Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 26-28, 1991, pp. 257-275.
11. Marean, MA. and G. Balbo, "A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems, " ACM Trans, on Computer Systems, Vol. 2, No. 2, May 1984, pp. 93-122.
12. Molloy, M.K., "Performance Analysis Using Stochastic Petri Nets, " IEEE Trans, on Computers, Vol. C-31, No. 9, Sept. 1982, pp. 913-917.
13. Song, J-S., S. Satoh and C.V. Ramamoorthy, "The Abstraction of Petri Net, " Telcon 87, Vol. 2- 3, August 25-28, 1987, Seoul, Korea, pp. 467-471.
14. Stallings, W., "Handbook of Computer- Communications Standards. 2nd ed." Macmillan Publishing Com, New York, 1990.
15. Suzuki, T., S.M. Shatz and T. Murata, "A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets, " IEEE Trans, on Software Eng., Vol. 16, No. 5, May 1990, pp. 523-536.
16. Woodside, C.M., "Throughput Calculation for Basic Stochastic Rendezvous Networks, " Performance Evaluation, No. 9, 1989, pp. 143-160.