recent years, a major challenge for theoretical molecular biology is to explain the
physiology of cell proliferation in a variety of unicellular and multicellular organisms
in terms of their underlying molecular control systems. Molecular biologists have
uncovered a lot of information about the proteins controlling the cell growth and
division in eukaryotes. This wealth of data reflects the complexity of cell cycle
regulatory system and consequently the importance of understanding and describing
it with a model that suitably simulates the cell cycle behavior.
The most common approach to model the physiology of the cell cycle is to use
ordinary differential equations (ODE) that fit the temporal variations of the con-
centrations of involved proteins. The molecular controls of promotion/inhibition of
these proteins has a non-linear oscillatory behavior that requires numerical algo-
rithms for solving the corresponding equations. Simulation tools like BioUML [
1
],
E-CELL [
3
], Gepasi [
4
] support modeling of cellular systems, numerical execution
and analysis of the ODE based models.