Wgraph:Demo part of

{{#wgraph:svg|thumb=60|wgl|

 node A {}
 node B {}
 subgraph s1 {color yellow state boxed}
 node A1  s1 {}  node B1 s1 {}  node C1 s1 {}  edge A1 B1 {}  edge A1 C1 {}  edge C1 C12 {}
 subgraph s11 {color lightblue state wrapped}
 node C11 s11 {}  node C12 s11 {}  node C13 s11 {}  edge C11 C13 {}  edge C12 C13 {}
 subgraph s2 {color yellow state wrapped}
 node A2  s2 {}  node B2 s2 {}  node C2 s2 {}  edge A2 B2 {}  edge A2 C2 {}
 edge C2 s3 {}
 subgraph s3 s2 {color lightred state folded}
 node A3  s3 {}  node B3 s3 {}  node C3 s3 {}  edge A3 B3 {}  edge A3 C3 {}

}}