Theorie van Concurrency

Vakbeschrijving Theorie van Concurrency
Collegejaar: 2018-2019
Studiegidsnummer: 4032THCC6Y
Docent(en):
  • dr. H.C.M. Kleijn
Voertaal: Engels
Blackboard: Nee
EC: 6.0
Niveau: 300
Periode: Semester 2
Onderwijstijd in uren
(excl. zelfstudie):
48:00 uur
  • Wel Keuzevak
  • Wel Contractonderwijs
  • Wel Exchange
  • Wel Study Abroad
  • Geen Avondonderwijs
  • Geen A-la-Carte en Aanschuifonderwijs
  • Geen Honours Class

Toegangseisen

Foundations of Computer Science

Beschrijving

‘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.

Leerdoelen

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.

Rooster

The most updated version of the timetables can be found on the students' website:
* Timetable Computer Science
* Timetable Computer Science & Economics
* Timetable Computer Science & Biology

Onderwijsvorm

Lectures and exercise classes.

Toetsing

Final mark determined by a (written) exam (90%) and attendance (10%).

Literatuur

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.

Aanmelden

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

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.

Contact

Onderwijscoordinator Riet Derogee ms. Riet Derogee

Website

Theorie van Concurrency

Talen