Understanding parallel program behavior through petri net models-Reference-Cited by-同舟云学术

Understanding parallel program behavior through petri net models

Published:1992-07 Issue:3 Volume:15 Page:171-187
ISSN:0743-7315
Container-title:Journal of Parallel and Distributed Computing
language:en
Short-container-title:Journal of Parallel and Distributed Computing

Author:

Balbo Gianfranco,Donatelli Susanna,Franceschinis Giuliana

Publisher

Elsevier BV

Subject

Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Reference17 articles.

1. An introduction to generalized stochastic Petri nets;Ajmone Marsan;Microelectron. Reliability,1991

2. 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 Distributed Systems,1992

3. GSPN versus SPN: what is the actual role of immediate transitions?;Chiola,1991

4. GreatSPN 1.5 software architecture;Chiola,1991

5. Superposed automata nets;De Cindio,1982

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

1. Formal analysis of an agent-based optimisation strategy for Data Grids;Multiagent and Grid Systems;2006-09-08

2. Performance Models For Master/Slave Parallel Programs;Electronic Notes in Theoretical Computer Science;2005-04

3. Petri-net based performance-evaluation of distributed homogeneous task systems;IEEE Transactions on Reliability;2000-06

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

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