Slides from Invited Lectures

Concurrency and State in the Object-Oriented Language BETA

O.L. Madsen, Univ. of Aarhus, Denmark
Download: ZIP'ed MS PowerPoint (263 kB)
Download: PDF (280 kB)

Hardware and Petri Nets: Application to Asynchronous Circuit Design

J. Cortadella, Technical Univ. of Catalonia, Spain
Download: ZIP'ed MS PowerPoint (120 kB)
Download: PDF (363 kB)

UML - A Universal Modelling Language?

G. Engels, Univ. of Paderborn, Germany
Download: PDF (1.3 MB)

Region Based Synthesis of P/T-nets and its Potential Applications

P. Darondeau, IRISA, France
Download: PDF (412 kB)

Verification of Timed and Hybrid Systems

K.G. Larsen, Aalborg Univ., Denmark
Download: ZIP'ed MS PowerPoint (3.9 MB)
Download: PDF (1.8 MB)

Structural Problems in Performance Analysis

S. Haddad, Univ. of Paris-Dauphine, France
Download: ZIP'ed MS PowerPoint (28 kB)
Download: PDF (69 kB)