7. Other exam mistakes

Question 1

DON’T FORGET TO ROUND CORRECTLY

Answer 1

I WON’T

Question 2

Replay the logs for the alpha algorithm in the generated petri net as a check

Question 3

When redrawing alpha algorithm result try to use the same place numbers so can easily compare these places in question

Question 4

Make sure to use same state notation as they do in my answers

Question 5

In conformance tables log is on top and execution sequence is on bottom (note tau can be in execution sequence)

Question 6

For process models do not explicitly draw resources!

Question 7

Don’t forget the marking on the synchronous product!

Question 8

When explaining fitness for a trace, make the table to compare it to an execution sequence (also for the worst model one)

Question 9

Double check marked all i states when making state based region petri net

Question 10

Check if any pre-regions contain states from the post-regions- if yes then they are not post regions!!

(Every region with state 2 also includes state 3. Therefore you remain in the region after firing transition e, thus transition e has no pre-region. = SO IF YOU ARE IN ANY STATE IN THE REGION YOU ARE IN THE REGION)

Question 11

Synchronous product- arrow is log left