Der Graph:
digraph wischen {
_ [label=" "];
a [label="Wasser\nerhitzen"];
b [label="Eimer\nbefüllen"];
c [label="Reinigungsmittel\nunterheben"];
g [label="Eimer\nleeren"];
h [label="Boiler\nabschalten"];
i [label="Fertig"]
d [label="Wischtuch\nauswaschen", shape="box"];
e [label="Wischtuch\nauswringen", shape="box"];
f [label="Wischen", shape="box"];
// init
edge [color="black", style="solid"]
_ -> a [label="Sozial-\ndruck"];
a -> b;
b -> c;
c -> d;
// kernprozess
edge [color="blue", style="solid"]
d -> e [label="Wenig\nDreck"];
d -> f [label="Viel\nDreck"];
f -> d [label="Wischtuch\ndreckig"];
e -> f [label="Trockene\nStelle\nübrig"];
// glue logic
edge [color="black", style="solid"]
e -> g [label="Wasser\nim Eimer\nstark\ndreckig"];
g -> a [label="Sozial-\ndruck"];
// endgame
edge [color="black", style="solid"]
g -> h [label="Dreck\nzurückgedrängt"]
h -> i;
}