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 5 guests