Ticket #14: partition_scheduler2.sc

start_section  start_partition2 :
      partition2_clock : clock:=0;
end section;
   

automaton_section  partition_scheduler2 :
   Schedule_Partition : state;
   Restart : initial_state;
      
  transition Restart ==> [ partition2_clock=0,   , ] ==> Schedule_Partition;
  transition Schedule_Partition ==> [partition2_clock = 10 ,partition2_clock:=0; , ] ==> Restart ;
  
end section;