rs.scrbl: Add module-level definitions.

scribblings/rs.scrbl

@@ -1,12 +1,25 @@
 #lang scribble/manual
-@(require (for-label racket graph))
+@(require (for-label racket graph "../rs.rkt"))
 
 @title[#:tag "rs"]{dds/rs: Reaction Systems}
 
-@racketblock[
+@defmodule[dds/rs]
-(define (nobody-understands-me what)
+
-  (list "When I think of all the"
+This module defines reaction systems and various tools for working with them.
-        what
+
-         "I've tried so hard to explain!"))
+@section[#:tag "rs-basics"]{Basic definitions}
-(nobody-understands-me "glorble snop")
+
-]
+@section{Org-mode interaction}
+
+This section contains some useful primitives for
+@hyperlink["https://orgmode.org/"]{Org-mode} interoperability.
+
+@section{Dynamics of reaction systems}
+
+The dynamics of reaction systems is typically defined as @emph{interaction
+processes}.  An interactive process of a reaction system is a sequence of
+states driven by a sequence of contexts in the following way.  The reaction
+system starts with the initial context.  Then, at every step, the result of
+applying the reaction system is merged with the next element of the context
+sequence, and the reaction system is then applied to the result of the union.
+If the sequence of contexts is empty, the reaction system cannot evolve.