Ticket #14: partition_scheduler1.sc

start_section  start_partition1 :
      partition1_clock : clock:=0;
end section;
   

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