1st International ICST Conference on Performance Evaluation Methodologies and Tools

Research Article

Performance analysis using CPN tools

  • @INPROCEEDINGS{10.1145/1190095.1190171,
        author={Lisa  Wells},
        title={Performance analysis using CPN tools},
        proceedings={1st International ICST Conference on Performance Evaluation Methodologies and Tools},
        publisher={ACM},
        proceedings_a={VALUETOOLS},
        year={2012},
        month={4},
        keywords={Coloured Petri Nets},
        doi={10.1145/1190095.1190171}
    }
    
  • Lisa Wells
    Year: 2012
    Performance analysis using CPN tools
    VALUETOOLS
    ACM
    DOI: 10.1145/1190095.1190171
Lisa Wells1,*
  • 1: Department of Computer Science, University of Aarhus, Aabogade 34, 8200 Aarhus N, Denmark
*Contact email: wells@daimi.au.dk

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.