//Insert declarations of global clocks, variables, constants and channels.
bool spo, eco, loc, com;
clock time;
Job
bool &sec1, bool &sec2, bool& sec3, bool &sec4, const int t1, const int t2, const int t3, const int t4
//Insert local declarations of clocks, variables and constants.
clock x;
SEC1
SEC2
SEC3
SEC4
Done
//Insert process assignments.
Kim = Job( );
Juri = Job( );
Jan = Job( );
Wang = Job( );
//Edit system definition.
system Kim, Juri, Jan, Wang;
gantt {
Kim: Kim.SEC1 -> 1, Kim.SEC2 -> 2, Kim.SEC3 -> 3, Kim.SEC4 -> 4;
Juri: Juri.SEC1 -> 2, Juri.SEC2 ->4, Juri.SEC3 -> 3, Juri.SEC4 -> 1;
Jan: Jan.SEC1 -> 4, Jan.SEC2 -> 1, Jan.SEC3 -> 3, Jan.SEC4 -> 2;
Wang: Wang.SEC1 -> 2, Wang.SEC2 -> 4, Wang.SEC3 -> 3, Wang.SEC4 -> 1;
}