In this talk I will introduce a new approach to modeling dynamics of biological systems and its relations to certain problems in algebra and algorithmics: namely, decision procedures for systems of linear Diophantine equations and inequalities, whose coefficients range over algebraic numbers and intervals. The questions addressed here are central to the success of the emerging field of systems biology and relate to questions in decidability theory, algorithmic algebra, hybrid automata models, etc.