Theorie van Concurrency/ Theory of Concurrency, 2017-2018

Theory of Concurrency is a third year course for computer science students.
Note that as of the new academic year 2017-18 the set-up of and material for this course are changed.

Lecturer: Jetty Kleijn (room 153).

Goal: To make the student familiar with fundamental notions underlying concurrent systems and with ways to formalise and analyse these notions.
Thus the student acquires insight into basic techniques for working with concurrent systems.
Contents: 'Concurrency' as a phenomenon in systems consisting of parallel and possibly mutually dependent processes.
Petri nets are used to formally model and analyse such distributed, concurrent systems. Both structure and behaviour of (such systems modelled as) Petri nets are investigated.
Here you'll find an additional survey and tutorial for the interested student.

Set-up of the course: lectures and exercise classes; written final exam (for 6EC, level 300).

Language: lectures/exercise classes will be taught in Dutch (unless requested otherwise); course material is in English.

Course material:
Book: Wolfgang Reisig, Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies
Springer, 2013
ISBN 978-3-642-33277-7; 978-3-642-33278-4 (eBook).
Reprint: Springer 2016; 3662523078, 9783662523070.


Last update: November 13, 2017

For questions, remarks etc. contact: h.c.m.kleijn at liacs.leidenuniv.nl