On the computation of performance characteristics of concurrent programs using GSPNs-Reference-Cited by-同舟云学术

On the computation of performance characteristics of concurrent programs using GSPNs

Published:1994-03 Issue:2-3 Volume:19 Page:195-222
ISSN:0166-5316
Container-title:Performance Evaluation
language:en
Short-container-title:Performance Evaluation

Author:

Balbo G.,Donatelli S.,Franceschinis G.,Mazzeo A.,Mazzocca N.,Ribaudo M.

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Hardware and Architecture,Modeling and Simulation,Software

Reference19 articles.

1. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems;Ajmone Marsan;ACM Trans. Comput. Systems,1984

2. Stochastic Petri net simulation;Balbo,1989

3. An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets: Lamport's fast mutual exclusion algorithm;Balbo;IEEE Trans. Parallel Distrib. Systems,1992

4. High-Level Petri Nets. Theory and Application,1991

5. Understanding parallel programs behaviour through Petri net models;Balbo;J. Parallel Distrib. Comput.,1992

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Composing, analyzing and validating software models to assess the performability of competing design candidates;Annals of Software Engineering;1999

2. Formal Specification of Concurrent Systems: A Structured Approach;The Computer Journal;1998-03-01

3. Modelling and analysis of distributed software using GSPNs;Lecture Notes in Computer Science;1998

4. A method for predictive performance of distributed programs;Simulation Practice and Theory;1997-01

5. Use of GSPNs for concurrent software validation in EPOCA;Information and Software Technology;1994-07