Workshop SBC'2000

Structural  and Behavioural Concepts of High-Level Petri Nets

Hamburg, Germany, May 02-04, 2000

SBC'2000 Program

Program

Ort: C-221

Tuesday, May 2nd:

12:00
Arrival
12:15 - 13:00
Lunch
13:00 - 13:30
Introduction
13:30 - 14:30
Parameterisation and Modularity in Coloured Petri Nets
Thomas Mailund
14:30 - 15:00
Coffee Break
15:00 - 16:00
Communication and Modular Coloured Petri Nets
Bo Lindstrøm
16:00 - 16:30
Coffee
16:30 - 17:30
Reference Nets
Olaf Kummer
17:30 - 18:00
Discussion

Wednesday, May 3rd:

9:30 - 10:30
Design and Implementation of Communication in Design/CPN
Francois Vernet and Stefan Nimsgern
10:30 - 11:00
Coffee Break
11:00 - 12:00
Performance Analysis using Coloured Petri Nets
Lisa Wells
12:00 - 13:30
Lunch
13:30 - 14:30
Efficient Generation of Condensed State Spaces
Louise Lorentsen
14:30 - 15:00
Coffee Break
15:00 - 16:00
Modeling Framework for (Intelligent) Agents
Heiko Rölke
16:00 - 16:30
Coffee Break
16:30 - 17:30
Compositionality for Agent-oriented Petri Nets
Michael Köhler
17:30 - 18:00
Discussion

Thursday, May 4th:

9:30 - 10:30
Linear Logic for Object Petri Nets
Berndt Farwer
10:30 - 11:00
Coffee Break
11:00 - 12:00
Petri nets and mobility
Ivana Trickovic
12:00 - 12:30
Discussion
12:30
Lunch




[SBC'2000] [TGI] [Computer Science]


Daniel Moldt moldt@informatik.uni-hamburg.de