Invited Lectures

• UML - A Universal Modelling Language?
  Gregor Engels, University of Paderborn
• Concurrency and State in the Object-Oriented Language BETA
  Ole Lehrmann Madsen, University of Aarhus
• Structural Problems in Performance Analysis
  Serge Haddad, University of Paris-Dauphine
• Hardware and Petri Nets: Application to Asynchronous Circuit Design
  Jordi Cortadella, Technical University of Catalonia
• Verification of Timed and Hybrid Systems
  Kim Guldstrand Larsen, Aalborg University
• Region Based Synthesis of P/T-nets and its Potential Applications
  Philippe Darondeau, IRISA, Rennes