Vanwege de coronamaatregelen kan de onderwijsvorm of tentaminering afwijken. Zie voor actuele informatie de betreffende cursuspagina’s op Brightspace.

Studiegids

nl en

Theory of Concurrency

Vak
2020-2021

Admission requirements

Not applicable

Description

‘Concurrency’ as a phenomenon in systems consisting of parallel and possibly mutually dependent processes. Petri nets are used to formally model and analyse systems with concurrency. Both structure and behaviour of (concurrent systems modelled as) Petri nets are investigated.

Assumed prior knowledge: Foundations of Computer Science

Course objectives

To make the student familiar with fundamental notions underlying concurrent systems and with ways to formalise and analyse these notions. Thus the student acquires insight into basic techniques for working with concurrent systems.

Timetable

The most updated version of the timetables can be found on the students' website:

Mode of instruction

Self study with consultation hours to discuss the course material and exercises.

Assessment method

A final (written) exam.

The teacher will inform the students how the inspection of and follow-up discussion of the exams will take place.

Reading list

W. Reisig: Understanding Petri Nets – Modeling Techniques, Analysis Methods, Case Studies;
Springer 2013; ISBN 978-3-642-33277-7; 978-3-642-33278-4 (eBook).
Reprint: Springer 2016; 3662523078, 9783662523070.

Signing up for classes and exams

You can enrol via uSis . More information about signing up for classes and exams can be found here .

Contact information

Onderwijscoördinator Informatica, Riet Derogee

Website

Theorie van Concurrency