Aarhus University Seal

HP-CPN, Hewlett-Packard Projects

Partners:

CPN Group at DAIMI
Hewlett-Packard,
Danish National Centre for IT-Research 

 

Duration: January 1998 - January 2000

The HP projects focussed on the application of Coloured Petri Nets for analysis of systems. The work was organised as a number of projects in which CP-nets were used for modelling, validation and/or capacity planning of systems.

Hewlett-Packard

Hewlett-Packard Company designs, manufactures and services products and systems for measurement, computation and communications. The basic business purpose is to create information products that accelerate the advancement of knowledge and improve the effectiveness of people and organisations. The company's products and services are used in industry, business, engineering, science, medicine and education in more than 120 countries.

Subprojects

Publications and Reports

Conferences and Workshops

  1. L. M. Kristensen and J. C. Figueiredo. Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocol. In Proceedings of Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN, Aarhus, Denmark, 1999. DAIMI PB-541.
  2. B. Lindstrøm and L. M. Wells. Batch Scripting Facilities for Design/CPN In Proceedings of Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN, Aarhus, Denmark, 1999. DAIMI PB-541.
  3. K. H. Mortensen, S. Christensen, L. M. Kristensen, and J. S. Thomasen. Capacity Planning of Web Servers using Timed Hierarchical Coloured Petri Nets. In Proceedings of HP Openview University Association (HP-OVUA'99) 6th Plenary Workshop, Bologna, Italy, 1999. [Slides]
  4. L. M. Kristensen and J. C. Figueiredo. Modelling and Analysis of TCP Protocols Using Coloured Petri Nets. In Proceedings of HP Openview University Association (HP-OVUA'99) 6th Plenary Workshop, Bologna, Italy, 1999.
  5. B. Lindstrøm and L. M. Wells. Simulation Based Performance Analysis using Coloured Petri Nets. In Proceedings of First Workshop on Practical Use of Coloured Petri Nets and Design/CPN, Aarhus, Denmark, 1998. DAIMI PB-532.

Internal Technical Reports

  1. L. M. Kristensen, J. Bogorad, S. Christensen, K. Jensen, B. Lindstrøm, K. H. Mortensen, J. S. Thomasen, and L. M. Wells. HTTP Web Servers - Part A. HP-CPN Project Report Series HP-CPN-1. HP-CPN Centre, Department of Computer Science, University of Aarhus, May 1998.
  2. L. M. Kristensen, J. Bogorad, S. Christensen, K. Jensen, B. Lindstrøm, K. H. Mortensen, J. S. Thomasen, and L. M. Wells. HTTP Web Servers - Part B. HP-CPN Project Report Series HP-CPN-2. HP-CPN Centre, Department of Computer Science, University of Aarhus, May 1998.
  3. B. Lindstrøm and L. M. Wells. Design/CPN Performance Tool Manual. Department of Computer Science, University of Aarhus, Denmark, 53 pages, 1999.
  4. B. Lindstrøm and L. M. Wells. Performance Tool Design. Technical report, Department of Computer Science, University of Aarhus, Denmark, 34 pages, 1999.

People and Contact Information

Research managers

  • Kurt Jensen, Prof., Dr. Scient., DAIMI, Phone: +45 8942 5612, E-mail: kjensen@cs.au.dk
  • Søren Christensen, Assoc. Prof., PhD, DAIMI, Phone: +45 8942 5627, E-mail: schristensen@cs.au.dk

Business manager

Other senior members of the project group