Performance analysis using CPN tools

ABSTRACT

This paper provides an overview of new facilities for performance analysis using Coloured Petri Nets and the tool CPN Tools. Coloured Petri Nets is a formal modeling language that is well suited for modeling and analyzing large and complex systems. The new facilities include support for collecting data during simulations, for generating different kinds of performance-related output, and for running multiple simulation replications. A simple example of a network protocol is used to illustrate the flexibility of the new facilities.

References

1. R. Bagrodia and M. Gerla. 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. Gallasch 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. ExSpect 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. Thiagarajan, editors, Petri Nets and Other Models of Concurrency - ICATPN 2006, volume 4024 of LNCS. Springer, 2006.]]

Index Terms

• Computing methodologies

  • Modeling and simulation

• Software and its engineering

  • Software organization and properties

    • Software system structures

      • Software system models

        • Petri nets