This is an old revision of the document!
* Introduction to the course; motivation
* Petri-nets as a basis for workflow modeling * Properties of Petri-nets
* Chapters 1 and 2 of the book by Weske * Interactive Illustrations of Petri Nets * Slides yet to come
Yet to come