Programme

CPN'04

Fifth Workshop and Tutorial on Practical Use of
Coloured Petri Nets and the CPN Tools

October 8-11, 2004

Programme

Friday

Tutorial on CPN Tools
Lisa M. Wells, Michael Westergaard, Kristian B. Lassen, Anders H. Jensen, and Lea T.M. Pedersen, University of Aarhus, Denmark
Abstract

9.15-10.30: Kristian Bisgaard Lassen, Anders Hessellund Jensen, Lea Troels Møller Pedersen, Demonstration of CPN Tools
10.30-11.00: Coffee break
11.00-12.30: Michael Westergaard, Adding Graphics to Simulations and State Spaces in CPN Tools
12.30-14.00: Lunch break
14.00-15.30: Lisa Wells, Building Industrial Sized Models, and Performance Analysis in CPN Tools
15.30-16.00: Coffee break
16.00-17.30: CPN Tools Hands-on Session

Saturday

9.00-10.30: Jonathan Billington, Introduction to Protocol Engineering
10.30-11.00: Coffee break
11.00-12.30: Jonathan Billington, Application of CP-nets to Internet Protocols
12.30-14.00: Lunch break
14.00-15.30: Lars M. Kristensen, Modelling and Analysis of Protocols for Internet Connectivity in Mobile Ad-hoc Networks
15.30-16.00: Coffee break
16.00-16.30: Ericsson Telebit A/S, An Industrial Perspective on the Application of CP-nets in Protocol Development

Sunday

Monday

9.00-10.30: Johan Lilius, Modelling behavior in UML (1)
10.30-11.00: Coffee break
11.00-12.30: Johan Lilius, Modelling behavior in UML (2)
12.30-14.00: Lunch break
14.00-15.30: Jianli Xu, Modeling software architecture with UML + CPN,
15.30-16.00: Coffee break
16.00-17.30: Didier Buchs, Levi Lucio, and Luis Pedro, UML and Petri Nets for Test Case Generation