//Insert declarations of global clocks, variables, constants and channels.
bool spo, eco, loc, com;
clock time;
Jobbool &sec1, bool &sec2, bool& sec3, bool &sec4, const int t1, const int t2, const int t3, const int t4, const int T1, const int T2, const int T3, const int T4//Insert local declarations of clocks, variables and constants.
clock x;
hybrid clock t; // total time
hybrid clock rt; // read time
hybrid clock wt; // write timeIDEL0SEC1IDLE1SEC2IDEL2SEC3IDEL3SEC4Done//Insert process assignments.
Kim = Job(com,spo,loc,eco,10,3,3,1,11,6,6,5);
// Juri = Job(spo,eco,loc,com,8,20,1,1,10,23,6,12);
Jan = Job(eco,com, loc,spo,13,11,11,1,20,13,23,3);
// Wang = Job(spo,eco,loc,com,1,1,1,1,3,5,3,4);
//Edit system definition.
system Kim, Jan;