Ticket #14: partition_scheduler2.sc
File partition_scheduler2.sc, 402 bytes (added by singhoff, 16 years ago) |
---|
Line | |
---|---|
1 | |
2 | start_section start_partition2 : |
3 | partition2_clock : clock:=0; |
4 | end section; |
5 | |
6 | |
7 | automaton_section partition_scheduler2 : |
8 | Schedule_Partition : state; |
9 | Restart : initial_state; |
10 | |
11 | transition Restart ==> [ partition2_clock=0, , ] ==> Schedule_Partition; |
12 | transition Schedule_Partition ==> [partition2_clock = 10 ,partition2_clock:=0; , ] ==> Restart ; |
13 | |
14 | end section; |