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