There are many challenges in computational modeling of biological processes. Few processes such as signaling pathways operate in- dependently of others but rather involve substantial coordination and