Scientific programme
- An overview
- Detailed conference programme (Wednesday-Friday)
- Workshop on software engineering and
formal
methods (Monday)
organised by C. Lakos and R. Esser
- Workshop on formal methods applied to
defence
systems (Tuesday)
organised by L. Kristensen and J. Billington
- Introductory tutorial on Petri Nets
(Monday-Tuesday)
lectures by J. Desel, G. Balbo, S. Christensen, W. Reisig, G.
Rozenberg
- Advanced tutorial on workflow management:
models, methods, and systems (Monday)
by Wil van der Aalst
- Advanced tutorial on model
checking
(Tuesday)
organised by J. Esparza and S. Merz
- Invited lectures (Wednesday-Friday)
by W. van der Aalst, I. Hayes, A. Yakovlev, J. Desel, C. Lakos and
P.S. Thiagarajan
- Tool demonstrations (Wednesday-Friday)
organised by L. Kristensen
- Meeting: international
standardisation of high-level Petri Nets and their transfer formats
(Thursday)
organised by J. Billington and E. Kindler
top^
