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; }