[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]
Deltagerne vil efter kurset have detaljeret kendskab til farvede Petri Net og praktisk erfaring med modellering og validering af distribuerede systemer.
Et antal mindre projekter
Dette kursus vil fokusere på Farvede Petri Net (engelsk: Coloured Petri Nets (CPN)), som er et grafisk modelleringssprog for kommunikationsprotokoller og anden software til distribuerede og samtidige systemer. Farvede Petri Net gør det muligt for udvikleren at konstruere en model som er udførbar, og som kan analyseres ved brug af tilhørende computer-værktøjer. Simulation gør det muligt at lave en detaljeret analyse af systemets opførsel samt undersøge performance af systemet (såsom delay og throughput). Tilstandsgrafer (engelsk: State spaces) gør det muligt at verificere funktionelle egenskaber ved systemet (såsom deadlocks). Ved at inspicere modellen er det muligt for udvikleren at undersøge opførslen og egenskaber ved designet før implementation. På denne måde kan fejl og mangler ved systemet identificeres tidligt i udviklingsforløbet. Deltagerne bliver introduceret til CPN modelleringssproget, analysemetoderne, samt de understøttende værktøjer. Dette vil inkludere en række eksempler på industrielle projekter, hvor CPN er blevet brugt til modellering og analyse af systemer.
Deltagerne skal ved afslutningen af kurset kunne:
Kurt Jensen
Forelæsninger (2+2t/uge)
Udvalgte kapitler fra en lærebog.
http://www.cs.au.dk/~cpnbook/courses/CPN/
Marts/april, reeksamen foregår efter aftale med underviseren
Datalogisk Institut
Mundtlig eksamen uden forberedelse, 20 min,
7-skala, intern censur