dds/scribblings/rs.scrbl

#lang scribble/manual
@(require (for-label racket graph "../rs.rkt"))

@title[#:tag "rs"]{dds/rs: Reaction Systems}

@defmodule[dds/rs]

This module defines reaction systems and various tools for working with them.

@section[#:tag "rs-basics"]{Basic definitions}

@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.