21st International Conference on Application and Theory of Petri Nets
Aarhus, Denmark, June 26-30, 2000
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
Last modified: Wed Feb 16 21:24:05 2000
URL: www.daimi.au.dk/pn2000/invited.html
|
pn2000@daimi.au.dk
|