<!--i>The aim of the course is to provide the conceptual foundation for concurrent systems and the ability to construct small concurrent programs. In a bit more detail, after completing the course the student is expected to:
Forelæsninger, 2 mindre obligatoriske opgaver, teori og lab-øvelser, miniprojekt
4-timers skriftlig eksamen med karakter efter 13-skalaen og med ekstern censur. Eksamenssættet vil være på engelsk. I løbet af semesteret stilles to obligatoriske afleveringsopgaver og et mini-projekt. Aflevering af de to obligatoriske opgaver samt aflevering og godkendelse af mini-projektet er en forudsætning for at kunne tilmeldes eksamen. Besvarelserne vil dog ikke indgå i karakteren. Alle skriftlige hjælpemidler tilladt.
<!--Udleverede noter om Petri net og semantik.-->