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