In this paper, we report progress on applying techniques traditionally
used by computer scientists for specifying finite state machines,
to concisely express complex mathematical models. These techniques
complement existing graphical methods in Systems Biology by allowing
a systems approach to be taken at a coarser granularity than biochemical
reactions – where parallel, multi-level interactions within and between
systems must be documented, communicated and simulated.