XOR-Dekomposition (Composite State)
Dieses Werkzeug erzeugt eine neue XOR-Dekomposition.

Durch eine XOR-Dekomposition wird ein komplexer Zustand in Subzustände zerlegt, wobei ein betrachtetes Objekt immer in genau einem der Subzustände ist, sobald es sich in diesem komplexen Zustand (composite state) befindet.