Performance analysis using CPN tools

ACM International Conference Proceeding Series

Volumn 180, Issue , 2006, Pages

  Wells, Lisa ^a,b  

^a AARHUS UNIVERSITY   (Denmark)

^b ISIS Katrinebjerg Competence Centre

Author keywords

Coloured petri nets

Indexed keywords

COMPUTER SIMULATION; FORMAL LANGUAGES; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

COLOURED PETRI NETS; FORMAL MODELING LANGUAGE; PERFORMANCE-RELATED OUTPUT;

PETRI NETS;

EID: 34748835827     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1190095.1190171     Document Type: Conference Paper

References (16)

1. R. Bagrodia and M. Geria. A modular and scalable simulation tool for large wireless networks. In Proceedings of Performance Tools '98, 1998.
2. E. Brinksma, H. Hermanns, and J.-P. Katoen, editors. Lectures on Formal Methods and Performance Analysis, volume 2090 of Lecture Notes in Computer Science. Springer, 2001.
3. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: Graphical editor and analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, 24(1&2):47-68, November 1995. Special issue on Performance Modeling Tools.
4. CPN Tools. Online: http://www.daimi.au.dk/CPNTools/.
5. G. Gallasen and L. M. Kristensen. COMMS/CPN: A communication infrastructure for external communication with Design/CPN. In K. Jensen, editor, Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB-554, pages 75-91. Department of Computer Science, University of Aarhus, Denmark, 2001.
6. gnuplot. Online: http://www.gnuplot.info/.
7. K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Monographs in Theoretical Computer Science. Springer-Verlag, 1997. 2nd corrected printing.
8. W. D. Kelton, R. P. Sadowski, and D. A. Sadowski. Simulation with Arena. McGraw-Hill, 2nd. edition, 2002.
9. L. M. Kristensen, S. Christensen, and K. Jensen. The practitioner's guide to coloured Petri nets. International Journal on Software Tools for Technology Transfer, 2:98-132, 1998.
10. A. M. Law and W. D. Kelton. Simulation Modeling & Analysis. McGraw-Hill, 3rd edition, 2000.
11. Network Simulator ns2. Online: http://www.isi.edu/nsnam/ns/.
12. L. C. Paulson. ML for the Working Programmer. Cambridge University Press, 2nd edition, 1996.
13. Petri Nets Tool Database. Online: http://www.informatik.unihamburg.de/ TGI/PetriNets/tools/db.html.
14. W. M. P. van der Aalst et al. ExSpecí 6.4: An executable specification tool for hierarchical colored Petri nets. In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, volume 1825 of Lecture Notes in Computer Science, pages 455-464. Springer-Verlag, 2000.
15. L. Wells. Performance analysis using coloured Petri nets. In A. Boukerche, S. K. Das, and S. Majumdar, editors, Proceedings of the Tenth IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'02), pages 217-221. IEEE Computer Society, October 2002.
16. M. Westergaard and K. B. Lassen. The BRITNeY animation tool. In S. Donatelli and P. Thiaga-rajan, editors, Petri Nets and Other Models of Concurrency ICATPN 2006, volume 4024 of LNCS. Springer, 2006.