Workflows

mathPlot Web service (1)

• Download

Plotting operation which uses Mathematica (http://www.wolfram.com/mathematica/) software.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: trybik

odeSolver Web service (1)

• Download

SBML ODE Solver Library (http://www.tbi.univie.ac.at/~raim/odeSolver/) Web service.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: trybik

sbml2Prism Web service (1)

• Download

For example of the SBML to PRISM translation and the description of its details see http://www.prismmodelchecker.org/manual/RunningPRISM/SupportForSBML .

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: trybik

asynchronous prism Web service (1)

• Download

Asynchronous version of the Prism Web service. Results XML list is sent via email.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: trybik

prism Web service (1)

• Download

PRISM model checking (http://www.prismmodelchecker.org/manual/RunningPRISM/ModelChecking). The '-fixdl' switch is used, which means that all deadlock states in model are fixed by addition of self-loops.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: trybik