wolffd@0: digraph G {
wolffd@0: 
wolffd@0: 	subgraph cluster_0 {
wolffd@0: 		style=filled;
wolffd@0: 		color=lightgrey;
wolffd@0: 		node [style=filled,color=white];
wolffd@0: 		a0 -> a1 -> a2 -> a3;
wolffd@0: 		label = "process #1";
wolffd@0: 	}
wolffd@0: 
wolffd@0: 	subgraph cluster_1 {
wolffd@0: 		node [style=filled];
wolffd@0: 		b0 -> b1 -> b2 -> b3;
wolffd@0: 		label = "process #2";
wolffd@0: 		color=blue
wolffd@0: 	}
wolffd@0: 	start -> a0;
wolffd@0: 	start -> b0;
wolffd@0: 	a1 -> b3;
wolffd@0: 	b2 -> a3;
wolffd@0: 	a3 -> a0;
wolffd@0: 	a3 -> end;
wolffd@0: 	b3 -> end;
wolffd@0: 
wolffd@0: 	start [shape=Mdiamond];
wolffd@0: 	end [shape=Msquare];
wolffd@0: }