Nieuw: slides college 5.
Werkgroep 17 maart: laptop/pipe2 meenemen!
In 2009-2010 this course will be taught (again) by Jetty Kleijn (room 164).
Assistant: Wouter de Zwijger
Theory of Concurrency is a mandatory course for third year bachelor
major+minor computer science students.
Goal:
To make the student familiar with fundamental
notions concerning concurrent systems and with the way to formalize and
analyze these notions.
Thus the student acquires an insight into the basic
techniques for working with concurrent systems.
Contents:
'Concurrency' as a phenomenon of parallel and possibly mutually
dependent processes. Petri nets are used to formally model and analyse such
processes. Both structure and behaviour of (concurrent systems modelled as)
Petri nets are investigated.
Visit for more background information, the online services
for the international Petri net community:
Petri Nets World
.
Set up of the course: lectures and exercise classes; written exam.
Language: lectures/exercise classes will be taught in Dutch (unless requested otherwise); course material is in English.
Course material:
Lecture notes ('dictaat') by Joost Engelfriet and Grzegorz Rozenberg
as
(pdf file) .
Exercises ('opgavenbundel')
as (pdf file).
There is also a list of
errata.
Here you'll find an additional survey and tutorial for the interested student.
Schedule lectures/exercises:
Wednesdays from February 3 till April 28
from 13:45 - 16:30, room 412 Snellius building.
EXCEPT Wednesday March 10:
from 10.00 - 13.00.
Written exam:
Friday May 28, 2010, 10:00 - 13:00
Resit:
Friday August 13, 2008, 10:00 - 13:00
Overzicht behandelde stof:
behandeld
eerste en tweede college 3 en 10 februari 2010:
dictaat t/m 4. EN systems.
sheets 3 februari
sheets 10 februari
--- eerste werkgroep, 17 februari 2010:
alle opgaven bij 4. EN Systems;
Pipe2, zie
installatie-instructies
derde college, 24 februari 2010:
5. Equivalences and Normal Forms: 5.1, 5.2, 5.3
sheets 24 februari
vierde college, 3 maart 2010:
opgaven 5.5, 5.6; 5. Equivalences and Normal Forms: 5.4.
sheets 3 maart
vijfde college, 10 maart 2010:
H.5 af; begonnen aan 6. Processes (6.1, 6.2 t/m L.74).
sheets 10 maart
Planning:
--- tweede werkgroep, 17 maart 2010:
alle opgaven bij 5. Equivalences and Normal Forms;
en beginnen aan opgaven H.6.
--- zesde en zevende college, 24 maart en 31 maart 2010:
H.6 en H.7 Comparison of Partial and Linear Order.
For questions, remarks etc. contact: kleijn at liacs.nl.