Performance Petri net analysis of communications protocol software by delay-equivalent aggregation
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Checking properties of nets using transformationsPublished by Springer Nature ,2005
- Modeling and online scheduling of flexible manufacturing systems using stochastic Petri netsIEEE Transactions on Software Engineering, 1991
- A protocol modeling and verification approach based on a specification language and Petri netsIEEE Transactions on Software Engineering, 1990
- Time scale decomposition of a class of generalized stochastic Petri net modelsIEEE Transactions on Software Engineering, 1989
- Throughput calculation for basic stochastic rendezvous networksPerformance Evaluation, 1989
- Transformations and Decompositions of NetsPublished by Springer Nature ,1987
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Performance Analysis Using Stochastic Petri NetsIEEE Transactions on Computers, 1982
- Analyzing queueing networks with simultaneous resource possessionCommunications of the ACM, 1982