Overview
The scientific events took place on Monday, 24th June to Friday, 28th June 2002, at the City West Campus of the University of South Australia, 61-73, North Terrace, Adelaide, Australia.
In the first two days, a number of satellite events were held: a two-day introductory tutorial on Petri nets (held in the Barbara Hanrahan Building, Room BH4-22), two one-day advanced tutorials, and two one-day workshops (all these took place in the Hans Heysen Building, Rooms HH3-08/HH3-09). Each participant were able to register for one of the satellite events on Monday and one on Tuesday.
The remaining three days were devoted to the conference, which was located in the Hans Heysen Building, Lecture Theatre HH5-08. Each participant needed to register for the conference, and all registrations were valid for all the sessions of the conference.
Email facilities were available in the Library in the Hans Heysen Building, and in Computer Terminal rooms in the Barabara Hanrahan Building.
Tools were demonstrated during the conference in the Barbara Hanrahan Building, Room BH4-30.
The conference proceedings were published by Springer-Verlag in Volume 2360 of Lecture Notes in Computer Science.
Event Outline
Monday
- Introductory Tutorial on Petri Nets
(I)
lectures by S. Christensen, J. Desel, G. Balbo, W. Reisig, G. Rozenberg - Workshop on Software Engineering and Formal
Methods
organised by Charles Lakos and Robert Esser. - Advanced Tutorial on Workflow Management:
Models, Methods, and Systems
by Wil van der Aalst.
Tuesday
- Introductory Tutorial on Petri Nets
(II)
lectures by S. Christensen, J. Desel, G. Balbo, W. Reisig, G. Rozenberg - Workshop on Formal Methods Applied to Defence
Systems
organised by Lars Kristensen and Jonathan Billington. - Advanced Tutorial on Model Checking
lectures by Javier Esparza and Stephan Merz
Wednesday-Friday
- Invited lectures by Wil van der Aalst, Jrg Desel, Ian Hayes, Charles Lakos, P.S. Thiagarajan, and Alex Yakovlev.
- Presentation of 19 submitted papers
- Demonstration of Petri Net Tools