diff --git a/example/dots/examplecHA6gL.svg b/example/dots/examplecHA6gL.svg
new file mode 100644
index 0000000..c8c0076
--- /dev/null
+++ b/example/dots/examplecHA6gL.svg
@@ -0,0 +1,94 @@
+
+
+
+
+
diff --git a/example/dots/examplem7LpTs.svg b/example/dots/examplem7LpTs.svg
new file mode 100644
index 0000000..b2e115e
--- /dev/null
+++ b/example/dots/examplem7LpTs.svg
@@ -0,0 +1,164 @@
+
+
+
+
+
diff --git a/example/dots/examplex1Irnk.svg b/example/dots/examplex1Irnk.svg
new file mode 100644
index 0000000..622b156
--- /dev/null
+++ b/example/dots/examplex1Irnk.svg
@@ -0,0 +1,164 @@
+
+
+
+
+
diff --git a/example/example.org b/example/example.org
index 2746053..68aed1e 100644
--- a/example/example.org
+++ b/example/example.org
@@ -361,6 +361,72 @@ tab
b becomes (not a) (negative interaction). Therefore, the influence
of a on b is neither activating nor inhibiting.
+ Here is the full state graph of this network under the asynchronous
+ dynamics:
+ #+NAME: simple-bn-sg
+ #+BEGIN_SRC racket :results silent :var simple-bn=munch-table(simple-bn)
+(let* ([bn (nn (unorg simple-bn))]
+ [bn-asyn (make-asyn-dynamics bn)])
+ (dotit (ppsg (build-full-boolean-state-graph bn-asyn))))
+ #+END_SRC
+
+ #+BEGIN_SRC dot :file dots/examplem7LpTs.svg :results raw drawer :cmd sfdp :noweb yes
+<>
+ #+END_SRC
+
+ #+RESULTS:
+ :RESULTS:
+ [[file:dots/examplem7LpTs.svg]]
+ :END:
+
+ Alternatively, you may prefer a slighty more compact representation
+ of Boolean values as 0 and 1:
+ #+NAME: simple-bn-sg-bool
+ #+BEGIN_SRC racket :results silent :var simple-bn=munch-table(simple-bn)
+(let* ([bn (nn (unorg simple-bn))]
+ [bn-asyn (make-asyn-dynamics bn)])
+ (dotit (ppsgb (build-full-boolean-state-graph bn-asyn))))
+ #+END_SRC
+
+ #+BEGIN_SRC dot :file dots/examplex1Irnk.svg :results raw drawer :cmd sfdp :noweb yes
+<>
+ #+END_SRC
+
+ #+RESULTS:
+ :RESULTS:
+ [[file:dots/examplex1Irnk.svg]]
+ :END:
+
+ Consider the following state (appearing in the upper left corner of
+ the state graph):
+
+ #+NAME: some-state
+ | a | 0 |
+ | c | 1 |
+ | b | 1 |
+
+ These are the states which can be reached from it in at most 2
+ steps:
+ #+NAME: simple-bn-some-state
+ #+HEADER: :var simple-bn=munch-table(simple-bn)
+ #+HEADER: :var some-state=munch-table(some-state)
+ #+BEGIN_SRC racket :results silent
+(let* ([bn (nn (unorg simple-bn))]
+ [bn-asyn (make-asyn-dynamics bn)]
+ [s0 (stb (unorg some-state))])
+ (dotit (ppsgb (dds-build-n-step-state-graph bn-asyn (set s0) 2))))
+ #+END_SRC
+
+ #+BEGIN_SRC dot :file dots/examplecHA6gL.svg :results raw drawer :cmd sfdp :noweb yes
+<>
+ #+END_SRC
+
+ #+RESULTS:
+ :RESULTS:
+ [[file:dots/examplecHA6gL.svg]]
+ :END:
+
+
* Local Variables :noexport:
# Local Variables:
# eval: (auto-fill-mode)