Static analysis for system biology