Stav dette: Logical modeling of biological systems /