Task 1 finishes Task 2
Figure 10 shows the coordination mechanism for Task1
finishesB Task 2, without the restriction on which task must start first.
In order to follow the original definition, with the restriction that Task
2 must start before Task1, it is necessary to add a place and a transition
(P1 and t1, respectively) to control the start of Task 1
(Figure 11).
Figure 10: Task 1 finishesB Task2.
Figure 11: Task 1 finishesA Task2.
The models for the same mechanisms using high level PNs are shown in
Figures 12 and 13.
Figure 12: Task 1 finishesB Task2 (high level PN).
Figure 13: Task 1 finishesA Task2 (high level PN).
<< Back