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 academic year 2017-18, the set-up of and material for this course have been changed.

Lecturer: Jetty Kleijn (room 153).
Assistants: Dennis Roos and Tim Poot.

NEWS Exam: Tuesday June 5, 2018, 14:00-17:00. Exam Results: from June 21 available from the study advisor dr. Jeannette de Graaf (Snellius room 151).
Below you find a link to the exam and a set of answers.
Resit: Tuesday July 10, 2018, 14:00-17:00. ROOM 407-409, SNELLIUS Building.
In case of questions regarding the exam of June 5 and/or the resit of July 10, you can contact Dennis Roos from July 3 onwards.

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.
updated document: Tool APE.
Additional exercises Chapter 2.

Outline Programme:
Week 1: Chapter 1 and Chapter 2.
Week 2:
Tuesday February 13, exercise class and introduction of our tool APE.
Thursday February 15: Chapter 3.
Week 3:
Tuesday February 20: Chapter 4 and Chapter 5.
Thursday February 22, exercise class.
Week 4:
Tuesday February 27, exercise class.
Thursday March 1: Chapter 6.
Week 5:
Tuesday March 6: Chapter 7.
Thursday March 8: exercise class, bring a laptop.
Week 6: no lectures/exercise classes scheduled.
Week 7:
Tuesday March 20: Chapter 8, starting 9.
Thursday March 22: exercise class.
Week 8:
Tuesday March 27: Chapters 9 and 10.
Thursday March 29: exercise class.
Week 9:
Tuesday April 3: Chapters 11 and 12.
Thursday April 5: exercise class.
Week 10:
Tuesday April 10: Chapters 13 and 14.
Thursday April 12: exercise class.
Week 11:
Tuesday April 17: Chapters 14 and 15.
Thursday April 19: exercise class.
Week 12:
Tuesday April 24: Chapters (15 and) 16.
Thursday April 26: exercise class.
Week 13:
Tuesday May 1: Chapters 17, 18, and 19.
Thursday May 3: exercise class.
Week 14:
Tuesday May 8: Case studies (excerpts from chapters 20-22).
Thursday May 10: Ascension Day, no lectures.
Week 15:
Tuesday May 15: Trial exam.
Thursday May 17: Discussion trial exam, questions and answers.
Tuesday June 5: Exam and answers.


Last update: June 20, 2018

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