Het begrip concurrency als verschijnsel bij gelijktijdig verlopende en elkaar mogelijk beïnvloedende processen wordt bestudeerd. Dit wordt gedaan aan de hand van het Petrinetmodel. Zowel de structuur als het gedrag van (concurrente systemen gemodelleerd door) Petri netten worden in het college besproken.
*Method: * hoorcollege, werkgroep
*Examination: * schriftelijk
Objective: Het aanleren van fundamentele begrippen aangaande concurrente systemen en de manier waarop deze begrippen geformaliseerd en geanalyseerd kunnen worden.Op deze manier krijgt de student inzicht in basistechnieken om te werken met concurrente systemen.
Website: http://www.liacs.nl/~kleijn/thvc1-0809.html
Material: opgavenbundel (beide in het Engels) beschikbaar bij het begin van het college.