Gianfranco Ciardo, Jogesh Muppala, Kishor Trivedi  Home/Search
Context Related
| wm.edu/~ciardo/pubs/1989PNPMSPNP.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wm.edu/~ciardo/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as marking dependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; in addition, the full expressive power of the C programming language is available to increase the flexibility of the net description. (Update)
Cited by: More
Formal evaluation of Quality of Service for data acquisition .. - Hedia, Jumel, Babau (Correct)
Automated Performance and Dependability Evaluation.. - Baier, Haverkort.. (2002) (Correct)
Model Checking Performability Properties - Haverkort, Cloth, Hermanns.. (2002) (Correct)
Similar documents (at the sentence level):
58.6%: SPNP: Stochastic Petri Net Package - Ciardo, Muppala, Trivedi (1989) (Correct)
6.2%: Stochastic Reward Nets for Reliability Prediction - Muppala, Ciardo, Trivedi (1994) (Correct)
Active bibliography (related documents): More All
0.7: Performability Modelling Tools and Techniques - Haverkort, Niemegeers (1996) (Correct)
0.5: Performance And Reliability Modeling Using Markov Regenerative.. - Choi (1993) (Correct)
0.4: Annotated Bibliography on Stochastic Petri Nets - Baccelli, Balbo, Boucherie.. (1994) (Correct)
Similar documents based on text: More All
0.6: SPNP: Stochastic Petri Net Package - Version 5.0 - Ciardo, Trivedi, al. (Correct)
0.6: DSPNexpress: A Software Package for the Efficient Solution of.. - Lindemann (1995) (Correct)
0.5: Analyzing Concurrent and Fault-Tolerant Software using.. - Ciardo, Muppala, Trivedi (1992) (Correct)
Related documents from co-citation: More All
34: A class of generalized stochastic Petri nets for the performance analysis of mul.. (context) - Marsan, Balbo et al. - 1984
22: Petri Net Theory and the Modeling of Systems (context) - Peterson - 1981
21: On Petri Nets with Deterministic and Exponentially Distributed Firing Times (context) - Marsan, Chiola - 1987
BibTeX entry: (Update)
Gianfranco Ciardo, Kishor S. Trivedi, and Jogesh Muppala. SPNP: stochastic Petri net package. In Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM'89), pages 142--151, Kyoto, Japan, 1989. IEEE Computer Society Press. http://citeseer.ist.psu.edu/ciardo89spnp.html More
@inproceedings{ ciardo89spnp,
author = "Gianfranco Ciardo and Jogesh K. Muppala and Kishor S. Trivedi",
title = "{SPNP}: Stochastic Petri Net Package",
booktitle = "{PNPM}",
pages = "142-151",
year = "1989",
url = "citeseer.ist.psu.edu/ciardo89spnp.html" }
Citations (may not include all citations):476 Programming Language (context) - Kernighan, Ritchie - 1978
413 Petri Net Theory and the Modeling of Systems (context) - Peterson - 1981
112 and Computer Science Applications (context) - Trivedi, Statistics et al. - 1982
81 Performance models of multiprocessor systems (context) - Marsan, Balbo et al. - 1986
65 Computer Performance Modeling Handbook (context) - Lavenberg - 1983
61 Quantitative System Performance (context) - Lazowska, Zahorjan et al. - 1984
60 On evaluating the performability of degradable computing sys.. (context) - Meyer - 1980
60 Introduction to Stochastic Processes (context) - inlar - 1975
58 Extended Stochastic Petri Nets: Applications and Analysis (context) - Dugan, Trivedi et al. - 1984
48 ESP - A package for the evaluation of stochastic Petri nets .. (context) - Cumani - 1985
34 Numerical transient analysis of Markov models (context) - Reibman, Trivedi - 1988
33 Performance-related reliability measures for computing syste.. (context) - Beaudry - 1978
27 Performability analysis: measures (context) - Smith, Trivedi et al. - 1988
27 Volume II: Semi-Markov and Decision Processes (context) - Howard, Systems - 1971
27 Closed-Form Solutions of Performability (context) - Meyer - 1982
25 Reliability modeling using SHARPE (context) - Sahner, Trivedi - 1987
22 Stochastic activity networks: structure (context) - Meyer, Movaghar et al. - 1985
21 Performance and reliability analysis using directed acyclic .. (context) - Sahner, Trivedi - 1987
19 Analysis of large stochastic Petri net models (context) - Ciardo - 1989
19 Regenerative stochastic Petri nets (context) - Haas, Shedler - 1986
16 The System Availability Estimator (context) - Goyal, Carter et al. - 1986
15 A software package for the analysis of Generalized Stochasti.. (context) - Chiola - 1985
14 Performability analysis using semi-Markov reward processes - Ciardo, Marie et al.
14 Bounding Availability of Repairable Computer Systems (context) - Muntz, de Souza et al. - 1989
14 Transient analysis of cumulative measures of Markov model be.. (context) - Reibman, Trivedi
14 Performance Analysis of Networks with Unreliable Components (context) - Li, Silvester - 1984
14 The Hybrid Automated Reliability Predictor (context) - Dugan, Trivedi et al. - 1986
13 Performability modeling based on real data: a case study (context) - Hsueh, Iyer et al. - 1988
12 Some Analysis Techniques for Asynchronous multiprocessor Alg.. (context) - Robinson - 1979
10 METASAN: a performability evaluation tool based on Stochasti.. (context) - Sanders, Meyer - 1986
10 Matrix methods in large dependability models (context) - Stewart, Goyal - 1985
9 A software tool for the automatic analysis of Generalized St.. (context) - Marsan, Balbo et al. - 1985
8 Probabilistic Reliability: An Engineering Approach (context) - Shooman - 1968
6 Sensitivity analysis of continuous time Markov chains using .. (context) - Heidelberger, Goyal - 1987
5 Dipartimento di Informatica (context) - Chiola, Technical - 1987
5 GSPN Models: Sensitivity Analysis and Applications (context) - Muppala, Trivedi
4 Performance Prediction of Concurrent Systems (context) - Mak - 1987
3 Hierarchical Modeling for Reliability and Performance Measur.. (context) - Veeraraghavan, Trivedi - 1987
3 An Approach to Solving Large Reliability Models (context) - Boyd, Veeraraghavan et al. - 1988
3 Evaluation of Task Structures for Hierarchical Multiprocesso.. (context) - Kleinoder - 1985
3 Performability Modeling of Distributed Real-Time Systems (context) - Meyer - 1984
2 GSPN Models: Transient Analysis and Applications (context) - Muppala, Trivedi
2 Concurrency in Parallel Processing Systems (context) - Kung - 1984
1 Trivedi The Design of a Uni ed Package for the Solution of S.. (context) - Dugan, Bobbio et al. - 1985
1 Applications and Relationships to Other Models of Concurrenc.. (context) - Jensen, nets - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.wm.edu/~ciardo/pubs.html): More
Approximate Analysis of a Fault-Tolerant.. - Li, Ciardo (1998) (Correct)
Discrete Deterministic and Stochastic Petri Nets - Zijal, Ciardo, Hommel (1997) (Correct)
A Characterization of the Stochastic Process Underlying.. - Ciardo, German.. (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC