Moderator: Praesidium
In ne 100-dimensionale hypercube zou da wel gaan znn!Pieter Belmans wrote:Vervang anders de frase "vectoren van lengte 10" door "10-tupels" en alles is opeens duidelijk. Spijtig dat ze nog langskwam en het meldde, anders kon ik een mooie "ge kunt geen vector van lengte tien in die hyperkubus hebben" opschrijven .
truePieter Belmans wrote:In een 1-dimensionale ook, zolang het maar geen eenheidshyperkubus is .
lol, hedde gij dit vak al in januari gevolgd?racekakje wrote:Formele Technieken in Software Engineering
Deel 1: Petri Nets en Proces Algebra
voormiddag: (van horen zeggen)
- construeer een Petri Net dat een rondpunt simuleert (auto's op het rondpunt moeten voorrang verlenen aan diegene die erop komen).
- Bewijs dat er een Dead Lock optreedt
- Los de Dead Lock op
namiddag:
- construeer een Petri Net dat volgende situatie simuleert. Er zijn passieve processen. Er zijn 3 resources A en B. Passieve processen kunnen actief worden. Er zijn 3 soorten actieve processen: processen die gelijktijdig A en B nodig hebben, processen die eerst A dan B nodig hebben en processen die eerst B dan A nodig hebben. Nadat een actief proces de resources ter beschikking heeft gekregen wordt het terug passief.
- Geef alle S-invarianten
- Bewijs dat er een deadlock optreedt.
- Los de deadlock op (met complementaire staat)
deel 2: Papers
- vooral de papers goed kunnen koppelen aan uw eigen ervaringen in het lab.
ik heb da exaam ook ergens gepost, bij algemeen ofzo..Sebastiaan wrote:racekakje wrote:Formele Technieken in Software Engineering
Deel 1: Petri Nets en Proces Algebra
voormiddag: (van horen zeggen)
- construeer een Petri Net dat een rondpunt simuleert (auto's op het rondpunt moeten voorrang verlenen aan diegene die erop komen).
- Bewijs dat er een Dead Lock optreedt
- Los de Dead Lock op
Users browsing this forum: No registered users and 1 guest