Vergleich und Verifikation verschiedener Modelle für ein reales Teilnehmer-Rechensystem.