Prospectus

nl en

Theorie van Concurrency

Course
2011-2012

Goal

The goal of the course is 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.

Method

lectures and exercise classes

Examination

written exam
h3. Description

We study ‘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.

Website

Theorie van Concurrency

Material

The course material is in English. It consists of lecture notes and an exercise book which will be made available when the lectures commence.