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
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.