Die Mutter der nichtdeterministischen Operationen ist der vordefinierte Infix-Operator, der Auswahl-Operator, der nichtdeterministisch einen seiner Operanden zurückliefert.
Die Modelle bilden – meist in Form von Flussdiagrammen – die Entscheidungsalternativen des Individuums/Haushaltes ab, die jeweils zufällig, jedenfalls nichtdeterministisch getroffen werden.
Anstatt zwischen verschiedenen Rechenschritten nichtdeterministisch zu wählen, wird einfach (mit Hilfe von Zufallszahlen) ausgewürfelt, welcher Rechenschritt gewählt wird.
