non-determinism.html

Dear Eclipse Escet developers,

On page https://www.eclipse.org/escet/cif/language-tutorial/basics/non-determinism.html is written

automaton outcome:
  location unknown:
    initial;
    edge coin.land goto heads; // First way to land.
    edge coin.land goto tails; // Second way to land.

  location heads:
    edge pick_up goto unknown;

  location tails:
    edge pick_up goto unknown;
end

The states heads and tails use the event pick_up that is not in scope. I think you it should be coin.pick_up. I.e. similar to coin.land in the location unknown.

Greetings, Pierre