Prospectus

nl en

Theorie van Concurrency

Course
2015-2016

Admission requirements

Foundations of Computer Science

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.

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.

Contents

  • Elementary Net Systems

  • Equivalence and Normal Forms

  • Processes and Partial Orders

  • Place/Transition Systems

  • Finite State Spaces

  • Invariants

Mode of Instruction

Lectures and exercise classes, including the introduction to a tool; intermediate test; written final exam.

Assessment

An intermediate test and a final (written) exam.

The objective of the test is to determine to what extent students are familiar with the concepts and results taught. It is an opportunity to apply the theoretical concepts and newly acquired insights in a modelling assignment and to some concrete questions. The modelling assignment relies on the use of the tool and all course material can be used (open book test).

In order to be admitted to the final exam (NOT open book), students should pass the test. The test result is valid only in the current academic year. The final grade is a combination of the grade for the exam (80%), grade for the test (10%) and presence (10%).

Course material

Course material (lecture notes) are made available at the start of the semester.

Signing up for classes and exams

Register via Usis: Selfservice > Sudentencentrum > Inschrijven
Activitity codes can be found via the“facultary website”:http://science.leidenuniv.nl/index.php/faculteit/Studenteninformatie_uSis/inschrijven_studieactiviteiten

Contact

Onderwijscoördinator Informatica, Riet Derogee

Website

Theorie van Concurrency

Remarks

This course is organized in the Snellius building in Leiden for Informatica- and I&E students together.