‘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
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.
Mode of instruction
Lectures and exercise classes.
A final (written) exam.
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
There is limited space for students who are not enrolled in the BSc programme of Computer Science or the Minor Data Science. Please contact the study coordinator/study adviser.
Onderwijscoördinator Informatica, Riet Derogee