Task 2 after Task 1
Relation after has two variations. In the first case (afterA) a
single execution of Task 2 is allowed after a single execution of Task
1. In the second variation, several executions of Task 2 are allowed. The
difference in the models is simply a return arc from transition task2
to place P1, as shown in Figure 14.
Figure 14: Mechanisms for Task 2 after Task 1.
The model in high level PN does not present significative differences,
as shown in Figure 15 for afterA (afterB is modelled
by adding a return arc from taskB to P1).
Figure 15: Mechanism for Task B after Task A using high level PN.
<< Back