Decomposition for Reasoning with Biological Network Gauvain Bourgne, Katsumi Inoue ISSSB’11, Shonan Village, November 13 th -17 th 2011.