diff --git a/example/dots/examplejTo8XT.svg b/example/dots/examplejTo8XT.svg new file mode 100644 index 0000000..e7111f1 --- /dev/null +++ b/example/dots/examplejTo8XT.svg @@ -0,0 +1,47 @@ + + + + + + +G + + + +node0 + +c + + + +node0->node0 + + + + +node1 + +b + + + +node0->node1 + + + + + +node2 + +a + + + +node1->node2 + + + + diff --git a/example/example.org b/example/example.org index d4a42ec..cd9222b 100644 --- a/example/example.org +++ b/example/example.org @@ -311,6 +311,36 @@ tab It also draws double-sided edges as undirected edges (e.g., in the preceding graph, b depends on c and c depends on b). +* =dds/networks= + The [[../networks.rkt][=dds/networks=]] is a module for working with different network + models. A network is a set of variables which are updated according + to their corresponding update functions. The variables to be + updated at each step are given by the mode. This model can + generalise Boolean networks, TBANs, multivalued networks, etc. + +** Boolean networks + Consider the following Boolean network: + #+NAME: simple-bn + | a | b | + | b | (and (not a) c) | + | c | (not c) | + + Here's the unsigned interaction graph of this network: + #+NAME: simple-bn-ig + #+BEGIN_SRC racket :results silent :var simple-bn=munch-table(simple-bn) +(dotit (build-interaction-graph (unorg simple-bn))) + #+END_SRC + + #+BEGIN_SRC dot :file dots/examplejTo8XT.svg :results raw drawer :cmd sfdp :noweb yes +<> + #+END_SRC + + #+RESULTS: + :RESULTS: + [[file:dots/examplejTo8XT.svg]] + :END: + + * Local Variables :noexport: # Local Variables: # eval: (auto-fill-mode)