# vis release 2.3 (compiled 9-Jul-12 at 6:31 PM)
# partition name: concret
# generated: Mon Jul  9 19:01:55 2012
#
# Partition with 13 vertices and 10 edges
digraph "concret" {
  rotate=90;
  margin=0.5;
  label="concret";
  size="10,7.5";
  ratio="fill";
  node0 [label="state<1>"]; 
  node1 [label="p"]; 
  node2 [label="q"]; 
  node3 [label="state<0>"]; 
  node4 [label="i"]; 
  node5 [label="_nc5<0>"]; 
  node6 [label="state<0>$INIT"]; 
  node7 [label="_nc1"]; 
  node8 [label="p$INIT"]; 
  node9 [label="_nc3"]; 
  node10 [label="q$INIT"]; 
  node11 [label="_nc5<1>"]; 
  node12 [label="state<1>$INIT"]; 
  node3 -> node5;
  node0 -> node5;
  node4 -> node5;
  node0 -> node7;
  node4 -> node7;
  node3 -> node9;
  node0 -> node9;
  node4 -> node9;
  node0 -> node11;
  node4 -> node11;
}