// Place global declarations here.
chan pak_hamer1, pak_hamer2, leg_hamer1_neer, leg_hamer2_neer;
const int J=10;
int[0,J] jobs;Werker// Place local declarations here.
klaarwerkMwerkG2werkG1werkSmoeilijksimpelgemiddeldbeginHamer1bezetvrijHamer2bezetvrij// Place template instantiations here.
Werker1 = Werker();
Werker2 = Werker();
// List one or more processes to be composed into a system.
system Werker1, Werker2, Hamer1, Hamer2;