Theorie van Concurrency/ Theory of Concurrency, 2019-2020

Theory of Concurrency is a third year course for computer science students.

Lecturer: Jetty Kleijn (room 153).
Assistants: Dennis Roos (d.roos(at)umail.leidenuniv.nl) and Tim Poot (t.poot(at)umail.leidenuniv.nl).


For program so far and slides: see below.

Week 11
Monday November 18, exercise class:
Additional exercise 19; exercises Chapter 14; if time permits exercise 13.1 and/or additional exercise 19.
The additional exercises can be found here.
Note: this is 'work-in-progress', comments welcome!
Tool APE will be used in the exercise classes (for links see below) - bring your laptop.
Thursday November 21: Chapters 15 and 16 (17 and 18).

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 is an additional survey and tutorial for the interested student.

Set-up of the course (6EC, level 300):
lectures and exercise classes;
written final exam;
final mark is for 90% based on exam
and for 10% on attendance.

Schedule from September 2 until December 12:
Mondays exercise class 16.15-18.00, classroom B02,
Thursdays lecture 9.15-11.00, classroom B02.
No lectures on Thursday Oct. 3, Monday Oct. 21, and Thursday Oct. 24.

Exam Monday January 20, 2020.
Resit Friday March 27, 2020.

Language:
lectures/exercise classes will be taught in Dutch (unless requested otherwise);
all 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.

Outline program so far:
Week 1 - Chapter 1, Chapter 2, and 3.1, 3.2.
Week 2
Monday September 9, exercise class:
Tool APE (see links below)
All exercises Chapters 1 and 2.
Thursday September 12: Chapter 3 and 4.1, 4.2, 4.3.
Week 3
Monday September 16, exercise class:
All exercises Chapter 3 and from Chapter 4, exercise 4.1.
Thursday September 19: Chapters 4 and 5, begin Chapter 6.
Week 4
Monday September 23, exercise class:
All exercises Chapters 4 and 5; additional exercises (all this as far as we can get).
Thursday September 26: Chapters 6 and 7.
Weeks 5 and 6
Monday September 30 and Monday October 7: exercise classes:
all exercises Chapters 6 and 7; additional exercises.
Thursday October 10: Chapter 8 and Chapter 9 (Definitions).
Week 7
Monday October 14, exercise class:
All exercises Chapter 8; exercises 1, 2, and 3 of Chapter 9; additional exercises upto exercise 14.
Thursday October 17: Chapter 9 (finish examples); Chapter 10.
Week 8
Monday October 28, exercise class:
Exercises Chapter 9; exercises 1, 2, 3 of Chapter 10.
Thursday October 31: Chapter 11 and Section 12.1.
Week 9
Monday November 4, exercise class:
Exercises Chapter 11, Exercise 10.4.
Thursday November 7: Wrap up Chapters 11 and 12; Chapter 13.
Week 10
Monday November 11, exercise class:
[Exercise 11.3 skipped DIY]; Exercises Chapter 12;Exercise 13.2.
Thursday November 14: Chapter 14.

Links
Tool APE v.2
User manual (pdf)
Installers:
Windows
MacOs
Linux
Ubuntu-16
Ubuntu-18

Slides:
Formal framework, Ch. 2
Formal framework, Ch. 3 and Ch. 4
Formal framework, Ch. 5 and Ch. 6
Formal framework, Ch. 7 and Ch. 8
Formal framework, Ch. 9 and Ch. 10
Formal framework, Ch. 11 and Ch. 12
Formal framework, Ch. 13 and Ch. 14


Last update: November 15, 2019

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