Iso instructie procesmodelleren



Dovnload 30.67 Kb.
Datum11.11.2018
Grootte30.67 Kb.

Antwoorden opgaven 3 en 4 van procesmodelleren



Opgave 3


Beschouw het klassieke Petri-net in de onderstaande figuur:


Antwoorden opgave 3





  1. Welke processoren zijn in de afgebeelde begintoestand enabled?

Processor p1 en p2 zijn enabled.


  1. Geef een toestand waarin p1 en p3 enabled zijn en p2 niet.

Kanaal k1: 1 token


Kanaal k2: geen tokens

Kanaal k3: 1 token




  1. Is er een toestand waarin p2 wel enabled is, maar p1 niet?

Zo’n toestand is er niet.


  1. Geef, uitgaande van de afgebeelde begintoestand, de toestand die bereikt wordt na vuring van p2.

Kanaal k1: geen tokens


Kanaal k2: geen tokens

Kanaal k3: 1 token




  1. Geef alle bereikbare toestanden.

In onderstaand diagram worden alle bereikbare toestanden weergegeven in de vorm (k1, k2, k3), waarbij steeds het aantal tokens per kanaal wordt aangegeven. De toestandovergangen worden gelabeld (p) door de processor die ‘vuurt’. De begintoestand is (1, 1, 0).
(1, 1, 0)  (p1)  (0, 1, 1)  (p3)  (0, 2, 0) (eindtoestand)

(1, 1, 0)  (p2)  (0, 0, 1)  (p3)  (0, 1, 0) (eindtoestand)




  1. Hoeveel bereikbare eindtoestanden zijn er?

Er zijn twee bereikbare eindtoestoestanden: (0, 2, 0) en (0, 1, 0).


  1. Geef de formele definitie, dat wil zeggen een 4-tupel (K, P, I, O) van dit Petri-net.

K = {k1, k2, k3}

P = {p1, p2, p3}

I = p1 p2 p3 O = k1 k2 k3

k1 1 1 0 p1 0 0 1

k2 0 1 0 p2 0 0 1

k3 0 0 1 p3 0 1 0


Opgave 4


Beschouw het volgende spel. Er is een bak die gevuld is met twee soorten ballen: rode ballen en zwarte ballen. Er worden steeds twee ballen uit de bak gepakt zonder te kijken van welke kleur ze zijn. Indien blijkt, dat de twee ballen van dezelfde kleur zijn, moet er een zwarte bal teruggelegd worden, anders een rode. (We gaan er hierbij vanuit, dat de speler, indien nodig, kan beschikken over extra zwarte ballen.) De toestand van het spel op een bepaald moment wordt dus bepaald door de hoeveelheid rode en zwarte ballen in de bak.
Modelleer dit spel als een klassiek Petri-net. Geef ook aan wat de initiële toestand is.

Antwoord opgave 4

Er zijn drie verschillende gebeurtenissen:



  1. Er worden twee zwarte ballen gepakt.

  2. Er worden twee rode ballen gepakt.

  3. Er worden twee ballen met een verschillende kleur gepakt.

Er zijn drie processoren: zz (twee zwarte ballen), rr (twee rode ballen) en rz (een rode en een zwarte bal). De toestand van het spel hangt af van de ballen die in de bak zitten, dat wil zeggen: het aantal rode en zwarte ballen in de bak. Er zijn twee kanalen: één voor de rode ballen (rood) en één voor de zwarte ballen (zwart). De ballen stellen we voor door middel van tokens in deze kanalen. Het spel modelleren we zoals in onderstaande figuur. In de begintoestand zijn er evenveel tokens in kanaal rood als er rode ballen zijn. Hetzelfde geldt voor kanaal zwart. Het is niet correct de verbindingen tussen kanaal zwart en processor zz te ‘vereenvoudigen’ tot één verbinding. De processor zz kan in dat geval namelijk ook vuren als kanaal zwart slechts één bal bevat. Dat is in strijd met de spelregels.




Deel met je vrienden:


De database wordt beschermd door het auteursrecht ©tand.info 2017
stuur bericht

    Hoofdpagina