asynchronous prism Web service

Created: 2011-01-26 21:57:02      Last updated: 2011-01-26 21:57:04

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

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 (4)
Processors (4)
Beanshells (1)
Outputs (2)
Links (9)
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 (1)

Log in to make a comment

  • Tuesday 18 November 2014 20:57:50 (UTC)

    Hello my friend.

    how do I create a workflow to send an email to a specific user?

Workflow 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.


Workflow prism Web service (1)

PRISM model checking ( 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: User trybik


Workflow sbml2Prism Web service (1)

For example of the SBML to PRISM translation and the description of its details see .

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

Credits: User trybik