[SAL] A question when using SAL

[Ashish Tiwari]

>
> In addition, the process jumps out transition  after executing "ELSE -->" ?

In your example, once the counter i reaches 100,
the "ELSE --> " transition is taken infinitely many
times, that is, the process remains in the state
i=100 and keeps looping in that state. (It does not
deadlock).

-Ashish

>>>> If you add an else clause so it reads
>>>> 
>>>>          i<100  --> i' = i+1;
>>>>    []
>>>>          ELSE -->
>>>>