Here is a full example to download and execute NewBisimulation-gre

1. Download NewBisimulation-gre in the Download Page

2. Go to folder where you download NewBisimulation-gre

3. Go into de folder NewBisimulation-gre with

cd NewBisimulation-gre

4. Paste your model, and your probabilities files, and create the folder where are going to be the results.