Programme for the Workshop

Wednesday, October 13

9.00-10.30: Session 1 (Chair: D. Simpson)

L.W. Wagenhals, A.H. Levis:
Converting Influence Nets With Timing Information To A Discrete Event System Model, A Colored Petri Net

J.C.A. de Figueiredo, L.M. Kristensen:
Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols

10.30-11.00: Coffee and Tea

11.00-12.30: Session 2: (Chair: L. Petrucci)

Presentation of some of the CPN groups and their projects:

University of Hamburg by Daniel Moldt
GMD Bonn by Klaus Voss
George Mason University by Lee Wagenhals
Helsinki University of Technology by Marko Mäkelä
Nokia Finland by Jianli Xu
Peugeot-Citroën by José Porras

Particpants who want to to contribute to this session
should send an e-mail to CPNworkshop@daimi.au.dk

12.30-14.00: Lunch

14.00-15.00: Session 3: Work in Progress (Chair: K. Jensen)

Daniel Moldt, Marc Netzebandt, and Frank Wienberg:
Object-oriented Modeling of a Bus Tour Travel Agency using Design/CPN

Marko Mäkelä:
The Modular Reachability Analyzer

Gebhard Decknatel:
Modelling and Simulation of Hybrid Systems with an Extension of Coloured Petri Nets

15.00-15.30: Coffee and Tea

15.30-17.00: Session 4: Work in Progress (Chair: S. Christensen)

Claus Assmann, Jan Lukoschus, and Werner Kluge:
k2 -- A Process Coordination Language Based on Coloured Petri Nets

Sven Heitsch, Marcel Martens, and Daniel Moldt:
Petri Nets with Synchronous Channels Applied to a Sociological Example

Thomas Mailund, Soren Christensen, and Lars Kristensen:
Reduced Occurrence Graphs for Timed CP-nets via Equivalences

Bruno Brosowski:
A Group-theoretical Approach to Petri Nets

Particpants who want to to contribute to this session
should send a 1-page abstract to CPNworkshop@daimi.au.dk

Thursday, October 14

9.00-10.30: Session 5 (Chair: H.J. Genrich)

D. Moldt, H. Roelke:
Generation of Executable Object-based Petri Net Skeletons Using Design/CPN

K.H. Mortensen:
Automatic Code Generation from Coloured Petri Nets for an Access Control System

10.30-11.00: Coffee and Tea

11.00-12.30: Session 6 (Chair: Daniel Moldt)

B. Lindstrøm, L. Wells:
Batch Scripting Facilities for Design/CPN

A. Perkusich, L.M. de Araujo, R. de S. Coelho, K.C. Gorgon, A.J.P. Lemos:
Design and Animation of Colored Petri Nets Models for Traffic Signals

12.30-14.00: Lunch

14.00-15.00: Session 7 (Chair: Leo Ojala)

P. Janecek, A.V. Ratzer, W.E. Mackay:
Redesigning Design/CPN: Integrating Interaction and Petri Nets in Use

15.00-15.30: Coffee and Tea

15.30-16.30: Experiments with Prototypes

In this session you will have the possibility to experiment with a set of prototypes illustrating the interaction mechanisms to be used in the new CPN tools

Friday, October 15

9.00-10.30: Session 8 (Chair: Lee Wagenhals)

T. Mailund:
Parameterised Coloured Petri Nets

P.H. Morera, T.M.P. Gonzalez:
A CPN Model of the MAC Layer

10.30-11.00: Coffee and Tea

11.00-12.30: Session 9 (Chair: Jianli Xu)

L. Lorentsen:
Modelling and Analysis of a Flowmeter System

I. Shin, A.H. Levis:
Performance Prediction Model Generator Powered by Occurrence Graph Analyzer of Design/CPN

12.30-14.00: Lunch

14.00-15.00: Panel Discussion

What are the Needs of the CPN Community?
Tools, meetings, user support, courses, documentation of projects, exchange of staff and students, standardisation, mail group, etc.?

Members of panel: Søren Christensen, Daniel Moldt, Lee Wagenhals, and Jianli Xu

15.00-16.00: Closing Session

18.00: Workshop Dinner