Semaphor zufahrt = 1;
Semaphor bagger = 1;
Semaphor leererLkwBeimBagger = 0;
Semaphor lkwBeimBaggerVoll = 0;
Semaphor platzInBaugrube = 2;

Bagger() {
	while (true) do {
		P(leererLkwBeimBagger);
		LKW beladen()
		V(lkwBeimBaggerVoll);
	}
}

LKW() {
	while (true) do {
		P(platzInBaugrube);
	
		P(zufahrt);
		in Baugrube einfahren()
		V(zufahrt);
		
		P(bagger);
		V(leererLkwBeimBagger);
		P(lkwBeimBaggerVoll);
		V(bagger);
		
		P(zufahrt);
		aus Baugrube fahren()
		V(zufahrt);
		
		V(platzInBaugrube);
		
		Erde wegbringen()
	}
}