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