Final Programme and Call for Participation

CPN'01

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

August 29-31, 2001

Organised by the CPN group at the Department of Computer Science,
University of Aarhus, Denmark

Joint with MOCA'01

Deadline for registration: August 1, 2001

Further information:
URL: http://www.daimi.au.dk/CPnets/workshop01/
E-mail: CPNworkshop@daimi.au.dk

Coloured Petri Nets and the CPN tools are now used by more than 750 organisations in 50 different countries all over the world (including 150 commercial companies). The purpose of this event is to bring together some of the users and in this way provide a forum for those who are interested in the practical use of Coloured Petri Nets and the CPN tools.

The workshop takes place at the University of Aarhus, Denmark, and it is open for engineers, researchers and students at all levels. Aarhus is situated at the east coast of Jutland (the main land of Denmark). It is easily accessible by plane, train and car.

Programme

Wednesday, August 29

9.00-9.15: Welcome

Opening Session
Kurt Jensen (University of Aarhus)

9.15-10.00 (Chair: Kurt Jensen)

Modelling Feature Interaction Patterns in Nokia Mobile Phones using Coloured Petri Nets and Design/CPN
Louise Lorentsen (University of Aarhus), Antti-Pekka Tuovinen (Nokia Group), and Jianli Xu (Nokia Group)

10.00-10.30: Coffee and Tea

10.30-12.00 (Chair: Ekkart Kindler)

Analysis and Simulation of Steady States in Metabolic Pathways with Petri Nets
Monika Heiner (Brandenburg University of Technology at Cottbus), Ina Koch (Max-Planck-Institute for Molecular Genetics), and Klaus Voss (GMD)

Equivalent Coloured Petri Nets Models of a Class of Timed Influence Nets with Logic
Bo Lindstrøm (University of Aarhus) and Sajjad Haider (George Mason University)

12.00-13.30: Lunch

13.30-15.00: Tutorial

Sweep-Line State Space Exploration for Coloured Petri Nets
Lars M. Kristensen (University of South Australia)

15.00-15.30: Coffee and Tea

18.30-20.00: Reception at the Music Hall

Hosted by the City of Aarhus

Thursday, August 30

9.00-10.00: Invited Talk (Chair: Nisse Husberg)

Symbolic Analysis of Coloured Nets
Hartmann Genrich (Bonn)

10.00-10.30: Coffee and Tea

10.30-12.00 (Chair: Daniel Moldt)

Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator
Kjeld H. Mortensen (University of Aarhus)

Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN
Guy Gallasch and Lars M. Kristensen (University of South Australia)

12.00-13.30: Lunch

13.30-14.30: Work in Progress (Chair: Jonathan Billington)

Participants who want to contribute to this session should send a short description of their talk to CPNworkshop@daimi.au.dk as soon as possible. The intention is to have short oral presentations of ongoing work.

Using Design/CPN for Verification of Programmable Logic Controllers
Alex Tovchigrechko (Brandenburg University of Technology at Cottbus, Germany)

Dynamical Reliability and Availability Evaluation and Validation of Distributed Control Systems
Pavol Barger (CRAN ESSTIN, France)

14.30-15.00: Coffee and Tea

15.00-16.30: Demonstration (Chair: Søren Christensen)

New User Interface for CPN Tools
Michael Westergaard and Troels Bjerre Sørensen (University of Aarhus)

18.30-24.00: Workshop Dinner

Friday, August 31

9.00-10.00: Invited Talk (Chair: Rudiger Valk)

Stochastic Well Formed Nets: An Overview
Giuliana Franceschinis (Eastern Piedmont University - A. Avogadro, Italy)

10.00-10.30: Coffee and Tea

10.30-12.00 (Chair: Monika Heiner)

Modelling and Analysis of ITU-T Recommendation H.245 - "Control protocol for multimedia communication"
Lin Liu and Jonathan Billington (University of South Australia)

An Improved Architectural Specification of the Internet Open Trading Protocol
Chun Ouyang, Lars Michael Kristensen, and Jonathan Billington (University of South Australia)

12.00-13.30: Lunch

13.30-14.30: CPN Tools Hands-On Session

Try working with CPN Tools. Tutors will be available to assist you.

14.30-15.00: Closing Session

15.00-17.00: Beer and Snacks

MOCA'01: Joint Workshop

Workshop Site

Registration and Accommodation

Programme Committee

 Jonathan Billington Australia       (j.billington@unisa.edu.au)
 Søren Christensen   Denmark         (schristensen@daimi.au.dk)
 Jorge de Figueiredo Brazil          (abrantes@dsc.ufpb.br)
 Nisse Husberg       Finland         (Nisse.Husberg@hut.fi)
 Kurt Jensen         Denmark (chair) (kjensen@daimi.au.dk)
 Charles Lakos       Australia       (Charles.Lakos@adelaide.edu.au)
 Alexander Levis     USA             (alevis@gmu.edu)
 Daniel Moldt        Germany         (moldt@informatik.uni-hamburg.de)
 Laure Petrucci      France          (petrucci@lsv.ens-cachan.fr)
 Dan Simpson         UK              (Dan.Simpson@brighton.ac.uk)
 Edwin Stear         USA             (estear@aol.com)
 Robert Valette      France          (robert@laas.fr)
 Rüdiger Valk        Germany         (valk@informatik.uni-hamburg.de)
 Klaus Voss          Germany         (klaus.voss@gmd.de)
 Jianli Xu           Finland         (jianli.xu@research.nokia.com)
 Wlodek Zuberek      Canada          (wlodek@cs.mun.ca)