Consider the following process model:
Which of the following statements are true? (note that multiple answers can be selected)
Select all the answers you think are correct.
Check if there is no possible way for activity 'b' to be executed after an execution of activity 'c'. Check for a counter example, is there a path where activity 'e' is not executed?
Indeed! Consider which activities can be executed from the initial marking, e.g. the start state. Check for a counter example, is there a path where activity 'f' is not executed last? After executing 'a' and 'b', there is a token in place p2 and p3, which transitions are now enabled?
