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.
Jetty Kleijn (room 153).
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.
Book: Wolfgang Reisig, Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies
ISBN 978-3-642-33277-7; 978-3-642-33278-4 (eBook).
Reprint: Springer 2016; 3662523078, 9783662523070.
For questions, remarks etc. contact: h.c.m.kleijn at liacs.leidenuniv.nl