Hoorcolleges 3 + 4 (Petrinet)

Question 1

bedrijfsprocessen

Answer 1

Schakel tussen wat het bedrijf wil en de mogelijkheden van het informatiesysteem.
Een verzameling van activiteiten met een begin en een einde.
Een bedrijf bestaat uit meerdere bedrijfsprocessen.

Question 2

Modeleren

Answer 2

Operationele processen vangen in een precieze omschrijving (petrinet) en dat gedetailleerde proces in de computer stoppen.

Question 3

Model

Answer 3

een exacte beschrijving van het bedrijfsproces en daar een model van maken, zodat het gebruikt kan worden in een informatiesysteem.
* Alle verschillende informatiesystemen zijn ondersteunend aan het operationele proces.

Question 4

Buttom-up

Answer 4

eerst kijken naar details en daarna kijken naar de meer generieke processen.

Question 5

top-down

Answer 5

eerst nadenken over de hoofdprocessen en dat vervolgens uitwerken tot de atomaire (niet-opsplitsbare) processen.

Question 6

Reachability (coverability) graph

Answer 6

een structuur die je krijgt door te beginnen met de initial state, daarna de tokens te vuren om vervolgens te eindigen in de final state. Dit met een wiskundige notatie (bv. (1,0,3  0,1,3)

Question 7

Fout: hangende taken

Answer 7

tasks zonder input of output

Question 8

Fout: dode taken

Answer 8

taken die niet uitgevoerd kunnen worden

Question 9

Fout: deadlock

Answer 9

het token kan niet bij het einde komen

Question 10

Fout: unbounded and never-ending

Answer 10

een token zit vast in een visuele cirkel

Question 11

Voorwaarden Soundness

Answer 11

1. for each token put in start, one token appears in the end.
2. when the token appears in the end, all the other places are empty.
3. for each transition it is possible to enable it.