Aarhus, Denmark, June 26-30, 2000

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

Printable Material

• Detailed Programme for Entire Week (PDF file, 90 kb)
• Material from Satellite Events
• Proceedings Available Online via Springer LINK
  • Access to tables of contents and abstracts is free for everybody.
  • Scientists affiliated with departments/institutes subscribing to LNCS as a whole also have full access to all papers in PDF form.
• Slides from Invited Lectures

Scientific Programme

• Detailed Programme for the Conference (Wednesday-Friday)
• Workshop on Software Engineering and Petri Nets (Monday)
  organised by Mauro Pezzé, Sol Shatz
• Workshop on Practical Use of High-level Petri Nets (Tuesday)
  organised by Kurt Jensen
• Advanced Tutorial on Hardware Design and Petri Nets (Monday)
  lectures by Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev
• Advanced Tutorial on Timed and Hybrid Automata (Tuesday)
  lectures by Kim Guldstrand Larsen, Mogens Nielsen, P.S. Thiagarajan
• Introductory Tutorial on Petri Nets (Monday-Tuesday)
  lectures by Gianfranco Balbo, José Manuel Colom, Jörg Desel, Kurt Jensen, Wolfgang Reisig, Grzegorz Rozenberg
• Meeting on XML/SGML based Interchange Formats for Petri Nets (Tuesday evening)
  organised by Remi Bastide, Jonathan Billington, Ekkart Kindler, Fabrice Kordon, Kjeld H. Mortensen
• Invited Lectures (Wednesday-Friday)
  by Jordi Cortadella, Philippe Darondeau, Gregor Engels, Serge Haddad, Kim Guldstrand Larsen, Ole Lehrmann Madsen
• Tool Presentations (Thursday afternoon)
• Tool Demonstrations (Wednesday-Friday)
  organised by Kjeld H. Mortensen

Registration and Accommodation

• How to Register for the Conference
• How to Book a Hotel Room
• How to Contact the Organisers

Social Programme

• Reception in the Town-Hall (Wednesday evening)
• Conference Dinner (Thursday evening)
• Excursion (Saturday)

Logistics and Services

• Conference Venue
• Travel Information
• Internet Access

Tourist Information

• Information on Aarhus
• Tourist Aarhus
• Yahoo City information
• Map of Denmark
• Weather in Denmark by DMI and Yahoo

Call for Papers

• Topics
• Paper Submissions
• PC and OC chairs
• Tutorials
• Tools for Petri Nets
• History of the Conference
• Programme Committee
• Steering Committee
• Petri Nets Newsletter
• Advances in Petri Nets
• Advanced Courses on Petri Nets
• Petri Net WWW and Petri Net Mailing Group
• Call for Papers is also available as PDF and PostScript