int resCount;	 // Anzahl der Betriebsmittel
int available;	 //freie Betriebsmittel
int procCount;	 //Anzahl der Prozesse
int[] maxclaim;		//Maximalforderungen der Prozesse
int[] allocated;	//vergebene Betriebsmittel

boolean safe()
{
	boolean[] terminated = new boolean[procCount];
	int avail= available;
	int p = 0;
	while(p < procCount)
	{
		if(terminated[p] || maxclaim[p] - allocated[p] > avail) p++;
		else
		{
			terminated[p] = true;
			avail+= allocated[p];
			p = 0;
		}
	}
	returnavail == total;
}