Article révisé par les pairs
Résumé : In this abstract we report progress in applying techniques, traditionally used by computer scientists in 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 communicated and simulated. © 2011 Springer-Verlag.