Explanation :
When A is finished, B and C are enabled. C is triggeted by the system, and B by the user.
C has a feedback which is specified there. When C is completed, F is enabled. F is a terminal event as G. That means that the goal is reached when F is finished OR when G is finished.
B is followed by a AND. So, both D and E must be completed. {A,B,C} has a equivalent behaviour to {B, AND, D, E}.
Compared to the previous figure,
When A is finished, we follow the link(s) which are true. So, in this case, either B or C may by reached.
B is followed by a OR. So, either D or E must be completed. {A,B,C} has a equivalent behaviour to {B, OR, D, E}.
Explanation :
Explanation :
The system executes automatically G and C. After C, the user will be able to do F.
After B, the user must do D or the system must do E (we assume that conditions on links or preconditions will be used later to specify clearly the behaviour).