start_section  start1 :	
   task_clock : clock :=0;
end section;


priority_section prio1 :
    put(task_clock);
end section;


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

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