Previous topic

Quick Start

Next topic

Structural and Parameter Optimisation

This Page

Analysis of model propertiesΒΆ

  1. Click on the Model checking (PRISM) button on the toolbar to open up the dialog window below that will allow you to specify the properties to analyse in your model.
alternate text
  1. Load the model checking parameter file model_checking_prism.params by clicking Load from the dialog toolbar and navigating to the location of the negative autoregulation model.
  2. Check the parameters then run the experiment by clicking on the Perform button.
  3. Once the experiment has finished the following tab will appear automatically showing a plot of the results.
alternate text

For more details on how to use the Infobiotics Workbench you can read our tutorials.