Situationsbeschreibung für ein Informatik-Projekt zur formalen Beschreibung eines Getränkeautomaten mittels Zustandsdiagrammen und endlicher Automaten. Die Seite stellt die Anforderungen und den Kontext für die Entwicklung eines Steuerungskonzepts dar.