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