Validation of GSPN and SWN models through the PROD Tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2324 LNCS, Issue , 2002, Pages 131-140

  Donatelli, Susanna ^a   Ferro, Liliana ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; STOCHASTIC SYSTEMS;

GENERALIZED STOCHASTIC PETRI NETS; HIGH-LEVEL PETRI NETS; STOCHASTIC WELL-FORMED NETS; VALIDATION TOOLS;

STOCHASTIC MODELS;

EID: 84898067804     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46029-2_8     Document Type: Conference Paper

References (16)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995.
2. P. Ballarini, S. Bernardi, and S. Donatelli. Validation and evaluation of a software solution for fault tolerant distributed synchronization. Submitted for publication - available on request to susi@di.unito.it.
3. th Intern. Workshop on Petri Nets and Performance Models, pages 20-31, Melbourne, Australia, December 1991. IEEE-CS Press.
4. 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 Modelling Tools, (1), 24, 1996.
5. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. A Symbolic Reach-abilityGraph for Colored Petri Nets. Theoretical Computer Science B (Logic, semantics and theory of programming), 176(1&2):39-65, April 1997.
6. G. Ciardo and A. S. Miner. SMART: Simulation and Markovian Analyzer for Reliabilityand Timing. In Proc. IEEE International Computer Performance and Dependability Symposium (IPDS'96), Urbana-Champaign, IL, USA. Sept. 1996. IEEE Comp. Soc. Press.
7. th Intern. Conference on Application and Theory of Petri Nets, Bonn, Germany, June 1989.
8. The CPN-AMI environment. http://www-src.lip6.fr/logiciels/framekit/cpn- ami.html.
9. B. Haverkort, H. Hermanns, J.P. Katoen. The Use of Model Checking Techniques for Quantitative Dependability Evaluation In IEEE Symposium on Reliable Distributed Systems (SRDS), IEEE CS Press, October 2000
10. H. Hermanns, J. P. Katoen, J. Meyer-Kayser, and M. Siegle. A Markov Chain Model Checker In Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1785: pp. 347-362, 2000
11. P. Kemper F. Bause, P. Buchholz. A toolbox for functional and quantitative analysis of DEDS. Short paper at TOOLS'98, LNCS 1469, Springer-Verlag.
12. Maria: a Reachability Analyser for Algebraic System Nets, http://www.tcs.hut.fi/Software/maria
13. The Model-Checking Kit, http://wwwbrauer.informatik.tu-muenchen.de/ gruppen/theorie/KIT.
14. W. D. Obal II M. A. Qureshi, D. D. Deavours, and W. H. Sanders. Overview of UltraSAN. Proc. IEEE Int. Performance and Dependability Symposium, Urbana, IL, USA, Sept. 4-6, 1996. http://www.crhc.uiuc.edu/UltraSAN.
15. K. Varpaaniemi, J. Halme, K. Hiekkanen, and T. Pyssysalo. PROD reference manual. Technical Report Series B, number 13, Helsinki Universityof Technology, August 1995. http://www.tcs.hut.fi/prod
16. A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri Net Modelling and PerformabilityEvaluation with TimeNET 3.0. Proc. of TOOLS2000, LNCS 1786, pp. 188-202, Springer-Verlag.