Practische informatie bij de tussentijdse toets
voor Theorie van Concurrency op donderdag 17 november 2011:
===========================================================

* de toets vindt plaats in zalen 411 en 412, van 10:00 - 13:00
* de toets is een verplicht onderdeel van het vak: als je de toets
  niet haalt, kun je het vak niet halen.
* bij de toets mag je gebruik maken van de tekentool Pipe2.5
  met uitbreiding van Wouter de Zwijger. Zogauw de EN systemen
  wat groot worden, kan het met de hand tekenen van de systemen,
  hun sequentiele situatiegraaf en processen namelijk veel werk
  worden.
* wie Pipe2.5 op zijn laptop heeft, kan terecht in 412
* voor een beperkt aantal mensen zonder geschikte laptop heeft
  Kristian Rietveld (waarvoor dank) een aantal Linux-pc's (Ubuntu)
  in zaal 411 voorzien van Pipe2.5 met uitbreiding. 
  Laat het me weten wanneer je hiervan gebruik wilt maken: dan
  weet ik tenminste zeker dat we genoeg capaciteit hebben in deze
  zaal.
* voor degenen met laptop: we zullen proberen om door heel zaal
  411 haspels voor de stroom te leggen, maar zorg in ieder geval
  dat je accu goed opgeladen is
* zorg dat je enige ervaring hebt met Pipe2.5 met uitbreiding;
  voor wie dat zelf nog niet ge-installeerd heeft (laat staan
  gebruikt heeft), zie de installatie-instructie op de website
  van het vak: www.liacs.nl/home/rvvliet/tvc/
* je kunt de met Pipe getekende EN systemen, en daarvan afgeleide
  plaatjes, electronisch inleveren op USB of per email
* er zullen overigens ook wel wat antwoorden op papier gegeven
  moeten worden
* Pipe biedt niet alle functionaliteit die nodig is. Zo is het niet
  mogelijk om `reachability graphs' (SCGs) als plaatje op te slaan.
  Wees er dus op voorbereid dat je hiervoor screenshots moet maken.
  Ook kan het nodig zijn dat je resulterende plaatjes met
  een tekenprogramma zelf aanvult. Op de computers in zaal 411
  werkt dit (met b.v. tekenprogramma Gimp)
* een deel van de toets zal eruit bestaan dat je een `realistische'
  situatie moet modelleren als een EN systeem. Daarnaast krijg je
  ook nog vragen die direct aansluiten bij de tot nu toe behandelde
  stof uit hoofdstukken 1-7.
* Een overzicht van de tot nu toe behandelde stof staat op de website
  van het vak: www.liacs.nl/home/rvvliet/tvc/
* het is een open-boek toets: je mag het dictaat, boeken en zelfs
  internet erbij houden. Je mag alleen niet samenwerken:
  iedereen maakt de toets zelf.

(opgesteld, 10 november 2011)