Quantitative and logic modelling of gene and molecular networks