Multiclock discrete models of biological systems

Modeling biological systems requires precise temporal concepts. Biological observations are often issued from discrete event measurements, which make discrete modeling especially interesting. However time is absent of these models or defined a priori. In this paper, we propose a new formalism to specify time in discrete logical model and illustrate the power of our approach using a eukaryote cell cycle model