Task 1 starts Task 2
Figure 6 shows the coordination mechanism for the relation
Task1 startsB Task2, without the restriction on which task should finish
before. In the figure, transition t1 is a control activity that
constitutes, at the same time, an AND-join and an AND-split, ensuring the
simultaneous beginning of both tasks.
Figure 6: Coordination mechanism for Task1 startsB Task2 with timeoutB.
In order to model the relation with the restriction that Task1 must
finish before Task2 (startsA), it is necessary to add an AND-join after
the tasks, ensuring that a token will be sent to place finish_task2 only
after the end of Task1 (Figure 7).
Figure 7: Coordination mechanism for Task1 startsA Task2 with timeoutA.
Figure 8 shows the coordination mechanism for relation
startsB using high level PNs. Figure 9 shows the mechanism
for startsA.
Figure 8: Coordination mechanism for Task1 startsB Task2 using high
level PN.
Figure 9: Coordination mechanism for Task1 startsA Task2 using high
level PN.
<< Back