// Place global declarations here.
chan pak_hamer1, pak_hamer2, leg_hamer1_neer, leg_hamer2_neer;Werker// Place local declarations here.
werkMwerkG2werkG1werkSmoeilijksimpelgemiddeldbeginHamer1bezetvrijHamer2bezetvrij// Place template instantiations here.
Werker1 = Werker();
Werker2 = Werker();
// List one or more processes to be composed into a system.
system Werker1, Werker2, Hamer1, Hamer2;