Vær opmærksom på at dette website indeholder et arkiv med historiske data. Det aktuelle kursuskatalog findes på kursuskatalog.au.dk

AU kursuskatalog arkiv

[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]

Coloured Petri Nets 2 - Modellering og Validering af Distribuerede Systemer (Q4) ( forår 2010 - 5 ECTS )

Rammer for udbud

Uddannelsessprog: engelsk
Niveau: Kandidatkursus
Semester/kvarter: Q4
Timer per uge: 3
Deltagerbegrænsning: Ingen
Undervisningssted: Århus
Hovedområde: Det Naturvidenskabelige Fakultet
Udbud ID: 14646

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