election_section  elect1 :
      return min_to_index(tasks.priority);
end section;

priority_section prio1 :
    put(tasks.priority,0,4);
end section;

automaton_section automaton1 : 
  Ready : state;
  Pended : initial_state;
      
  transition Pended ==> [ ,  , prio1!] ==> Ready;
  transition Ready ==> [ , , elect1!] ==> Pended;
end section;