Coloured Petri Nets 2 - Modellering og Validering af Distribuerede Systemer (Q4) ( forår 2008 - 5 ECTS )
Rammer for udbud
-
Uddannelsessprog:
(se under Undervisnings- og arbejdsform)
-
Niveau:
Valgfrit overbygningskursus
-
Semester/kvarter:
Q4 i 2007/2008
-
Timer per uge:
3
-
Deltagerbegrænsning:
-
Undervisningssted:
Århus
-
Hovedområde:
Det Naturvidenskabelige Fakultet
-
Udbud ID:
7833
Formål
Deltagerne vil efter kurset have praktisk erfaring med anvendelsen af Farvede Petri Net og CPN Tools til modellering og validering af større distribuerede systemer. Kursets arbejdsform vil også træne deltagernes evne til at planlægge og gennemføre projekter, og til at formidle og kommunikere faglige problemstillinger.
Obligatorisk program
Et større projekt med tilhørende rapport.
Indhold
Kurset er en fortsættelse af kurset Farvede Petri Nets: Modellering og Validering af Distribuerede Systemer (1) med fokus på større praktiske anvendelser. Kurset består i at gennemføre et større sammenhængende modellerings- og analyseprojekt. Der vil være stor grad af valgfrihed til at definere dette projekt, som foregår i grupper på 2-4 personer.
Læringsmål
Deltagerne skal ved afslutningen af kurset kunne:
-
konstruere
og
strukturere
farvede Petri Net modeller af større distribuerede systemer.
-
anvende
analyse metoder for Farvede Petri Net til at validere større distribuerede systemer.
-
diskutere
anvendelse af Farvede Petri Net til modellering og validering af større distribuerede systemer.
Faglige forudsætninger
Coloured Petri Nets 1
Underviser
Lars M. Kristensen og Kurt Jensen
Undervisnings- og arbejdsform
Øvelser (3t/uge)
Litteratur
Annonceres senere
Kursushjemmeside
http://www.daimi.au.dk/~kris/CPN
Udbyder
Datalogisk Institut
Tilmelding til undervisning
http://www.brics.dk/~mis/enrollment.html
Studieordning og bedømmelse
-
Hj.opg. + Mdt., bedømt efter 7-skala med intern censur
-
Hj.opg. + Mdt., bedømt efter 7-skala med intern censur
Projekt og mundtlig eksamen
7-skala, intern censur