For execute the system you need:

• Download NewBisimulation-gre bisimulation-gre

• Put your model into the folder NewBisimulation-gre. It need to be XML file format. If you need more information about how the model can be, see the example section

• Put your probabilities files for use and discernibility (Ex: prob_use.txt and prob_disc.txt) in the folder NewBisimulation-gre.

• Execute in command line:
  > bisimulation-gre positive model.xml prob_use.txt prob_disc.txt all 140 results/

  The target element or all if you want referring expression for all elements. 140 is the number of execution that you want to do. results is the folder where the system is going to put the results of the pogram (need to exist!).