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.
*Method: * lectures and exercise classes
Examination: written exam
*Objective: * 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.
Website: http://www.liacs.nl/~kleijn/thvc1-0809.html
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.