21st International Conference on Application and Theory of Petri Nets
Aarhus, Denmark, June 26-30, 2000
Workshop Proceedings
- Workshop on Software Engineering and Petri Nets
- Organised by Mauro Pezzé, Sol Shatz
Download: PDF (9.4 MB)
- Workshop on Practical Use of High-level Petri Nets
- Organised by Kurt Jensen
Download: PDF (2.8 MB)
Material from Tutorials
- Introductory Tutorial on Petri Nets
- Lectures by Gianfranco Balbo, Jörg Desel, Kurt Jensen,
Wolfgang Reisig, Grzegorz Rozenberg, Manuel Silva
Download: PDF (7.4 MB)
- Advanced Tutorial on Hardware Design and Petri Nets
- Lectures by Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev
Download: PDF (1.5 MB)
Download Addendum: PDF (724 Kb)
- Advanced Tutorial on Timed and Hybrid Automata
- Lectures by Kim Guldstrand Larsen, Mogens Nielsen, P.S. Thiagarajan
Download: PDF (1.9 MB)
Material from Other Events
- Meeting on XML/SGML based Interchange Formats for Petri Nets
- Organised by Remi Bastide, Jonathan Billington, Ekkart Kindler,
Fabrice Kordon, Kjeld H. Mortensen
Download: PDF (679 kb)
- Tool Demonstrations
- Organised by Kjeld H. Mortensen
Download: PDF (2.9 Mb)
Adobe® Acrobat® Reader[tm] is free, and freely distributable, software that lets you view and print Adobe Portable Document Format (PDF) files on all major computer platforms.
Last modified: Mon Jul 3 17:14:16 2000
URL: www.daimi.au.dk/pn2000/proceedings/
|
pn2000@daimi.au.dk
|