mathPlot Web service
Created: 2011-01-26 22:03:56
Last updated: 2011-01-26 22:04:31
Plotting operation which uses Mathematica (http://www.wolfram.com/mathematica/) software.
Preview
Run
Run this Workflow in the Taverna Workbench...
Option 1:
Copy and paste this link into File > 'Open workflow location...'
http://myexperiment.org/workflows/1788/download?version=1
[ More Info ]
Workflow Components
Inputs (3)
Processors (5)
Beanshells (1)
Outputs (1)
Links (8)
Coordinations (0)
Version History
Reviews
(0)
Other workflows that use similar services
(10)
Only the first 2 workflows that use similar services are shown. View all workflows that use these services.
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
No comments yet
Log in to make a comment