Education with Petri Nets
Resources for professionals, students, lecturers, and researchers in
academia and industry.
For introductory material please refer to the page
Introductions to Petri
Nets for a comprehensive list of references.
Advanced Courses on Petri Nets
These courses are organised periodically in order to present the
progress in Petri nets in a systematic way. The material from these
courses are published by Springer-Verlag in the series Lecture Notes
in Computer Science.
Previous Advanced Courses on Petri Nets
- 4th Advanced Course on Petri Nets, Eichstätt, Germany, 2003
- 3rd Advanced Course on Petri Nets, Dagstuhl, Germany, 1996
- 2nd Advanced Course on Petri Nets, Bad Honnef, Germany, 1986
- 1st Advanced Course on Petri Nets, Hamburg, Germany, 1979
Related Courses and Schools
Search WWW for courses on Petri Nets
SFM-05:Moby
- 5th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing
- April 26-30, 2005, Bertinoro, Italy
- Registration deadline: January 16, 2005
- Relevance: formal methods
- URL: http://www.sti.uniurb.it/events/sfm05moby/
Lipari School 2005
- 17th International School for Computer Science Researchers on Formal Methods: Theory And Practice
- July 10-23, 2005, Lipari Island, Italy
- Registration deadline: ?
- Relevance: formal methods
- URL: http://lipari.cs.unict.it/lipari/
The maintainers of this page