Figure 3From: Tav4SB: integrating tools for analysis of kinetic models of biological systemsThe computational part of the “Probabilistic model checking of the SBML stochastic model” workflow and the resulting plot for the stochastic model of the enzymatic reaction (Equation ( 1 )). Pink boxes represent nested workflows, corresponding to Tav4SB WS operations wrappers. See text for more details.Back to article page