digraph G {

  subgraph cluster0 {  //subgraph<Graph>
    node [style=filled color=white];
    style = filled;
    bgcolor = lightgrey;

    subgraph inner { //subgraph<Graph> or subgraph of subgraph
	node [color = green];
	a1 -> a2 -> a3 

    };

    a0 -> subgraph inner;

    label = "process #1";
  }

  subgraph cluster1 {
    node [style=filled color=white];
    b0 -> b1 -> b2 -> b3;
    label = "process #2";
    bgcolor = lightgrey
  }

  subgraph cluster1 -> subgraph cluster0 [style=dashed color=red]

  start -> subgraph inner[style=dotted];

  start -> a0;
  start -> b0;
  a1 -> b3;
  b2 -> a3;
  a3 -> end;
  b3 -> end;

  start [shape=Mdiamond];
  end [shape=Msquare];
}