The 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.
Rybiński et al. BMC Systems Biology 2012 6:25 doi:10.1186/1752-0509-6-25