[deprecated] Probabilistic Model Checking (PMC): plot results

Created: 2011-01-26 22:17:00      Last updated: 2011-07-20 14:23:03

This is a Taverna 1 version; if you're using latest Taverna 2 workbench please use: www.myexperiment.org/workflows/2267 .

Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) Mathematica plotting Web service operation. This is a second-part for the computationaly exhaustive PMC: compute results workflow (http://www.myexperiment.org/workflows/1790).

Information Preview

Information Run

Run this Workflow in the Taverna Workbench...

Option 1:

Copy and paste this link into File > 'Open workflow location...'
[ More InfoExpand ]

Information Workflow Components

Inputs (3)
Processors (5)
Beanshells (2)
Outputs (1)
Links (11)
Coordinations (0)

Information Workflow Type

Taverna 1

Information Uploader

Information License

All versions of this Workflow are licensed under:

Information Version 1 (of 1)

Information Credits (1)


Information Attributions (0)



Information Tags (5)

Log in to add Tags

Information Shared with Groups (0)


Information Featured In Packs (0)


Log in to add to one of your Packs

Information Attributed By (0)



Information Favourited By (0)

No one

Information Statistics


Citations (0)


Version History

In chronological order:

Reviews Reviews (0)

No reviews yet

Be the first to review!

Comments Comments (0)

No comments yet

Log in to make a comment

Workflow Other workflows that use similar services (0)

There are no workflows in myExperiment that use similar services to this Workflow.