Note: The animations could only work if the "Zoom" of the browser is equal to 100%. If you need to adjust, go to settings of the browser.
A receptivity (or transition-condition) can be time-dependent. The notation t1/d/t2 is used, meaning that the transition associated condition is true after a certain time t1 (after the negative transition edge of variable d occurs). In this case, in order that the receptivity can be true, variable d should be active for a time larger than t1.