int links = 0;
Semaphor mutex = 1;
Semaphor rechts = 1; 
Semaphor platzImKarton = 1;
Semaphor produktImKarton = 0;

linke_FR() {
	P(mutex);
	links++;
	if (links == 1) 
		P(rechts);
	V(mutex);
	
	P(platzImKarton);
	linke_Klappe_öffnen();
	V(produktImKarton);
	
	P(mutex);
	links--;
	if (links == 0) 
		V(rechts);
	V(mutex);
}

rechte_FR() {
	P(rechts);
	P(platzImKarton);
	rechte_Klappe_öffnen();
	V(produktImKarton);
	V(rechts);
}

VpAutomat() {
	P(produktImKarton);
	verpacken();
	V(platzImKarton);
}