Admission requirements
Basic course in Foundations of Computer Science
Description
‘Concurrency’ as a phenomenon of parallel and possibly mutually dependent processes. Petri nets are used to formally model and analyse concurrent systems. Both structure and behaviour of (systems modelled as) Petri nets are investigated.
Course Objectives
To make the student familiar with fundamental notions concerning 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. A good result yields a bonus point for the exam. The final grade is the grade for the exam.
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
For students who are not subscribed for the bachlor Informatica there is a limited capacity. Get in touch with the study advisor.
Contact
Onderwijscoördinator Informatica, Riet Derogee
Website
Remarks
This course is organized in the Snellius building in Leiden for Informatica- and I&E students together.