Task 1 meets Task 2
According to this relation, Task 2 must start immediately after the end
of Task 1. In the coordination mechanism, this is guaranteed blocking the
end of Task 1 while Task 2 is not ready. In the model of Figure
18, start_task2 is an input place of transition task1.
Therefore, Task 1 will only be executed if Task 2 is also ready to begin.
Task 1 has a timeout to avoid that it waits indefinitely for Task 2.
Figure 18: Task 1 meets Task 2.
The model with high level PN is shown in Figure 19.
Figure 19: Task A meets Task B using high level PN.
<< Back