Modelling and analysis of distributed software using GSPNs-Reference-Cited by-同舟云学术

Modelling and analysis of distributed software using GSPNs

Published:1998 Issue: Volume: Page:438-477
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Donatelli Susanna,Franceschinis Giuliana

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-65307-4_54

Reference21 articles.

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995.

2. M. Ajmone Marsan, A. Bobbio, and S. Donatelli. Petri Nets in Performance Analysis: an Introduction. In this book.

3. G. Balbo, S. Donatelli, and G. Franceschinis. Understanding parallel program behavior through Petri net models. Journal of Parallel and Distributed Computing, 15(3):171–187, July 1992.

4. G. Balbo, S. Donatelli, G. Fanceschinis, A. Mazzeo, N. Mazzocca, and M. Ribaudo. On the computation of performance characteristics of concurrent programs using GSPNs. Performance Evaluation, 19:195–222, 1994.

5. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools, 24(1&2):47–68, November 1995

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

1. The Mutex Paradigm of Concurrency;Applications and Theory of Petri Nets;2011

2. Infinite Process Semantics of Inhibitor Nets;Petri Nets and Other Models of Concurrency - ICATPN 2006;2006

3. Process semantics of general inhibitor nets;Information and Computation;2004-04

4. Causality Semantics of Petri Nets with Weighted Inhibitor Arcs;CONCUR 2002 — Concurrency Theory;2002

5. Synthesis of Elementary Net Systems with Context Arcs and Localities;Petri Nets and Other Models of Concurrency – ICATPN 2007