Examples:

Predator-prey dynamics

To analyse the effect of the spatial structure on the population dynamics:

• Download zip file.

• Run java -jar PP.jar n, where n can be chosen among 1, 2, 5, 10 (which indicates a 1x1, 2x2, 5x5, 10x10 grid structure respectively)

• The Python file Plot.py can be used to visualise the output of the simulation, which considers the overall species population.

SSTL evacuation routes

To analyse the SSTL property (10 time units, r=2.0):

• Download zip file.

• Run java -jar SafeExit.jar

• The MATLAB file AnalysisPlot.m can be used to visualize the output of the analysis.

TSTL evacuation routes

To analyse the TSTL property (10 time units, r=2.0):

• Download zip file.

• Run java -jar FireAnalysis.jar

• The MATLAB file AnalysisPlot.m can be used to visualize the output of the analysis.

To analyse the TSTL property (t=0, r=2.0):

• Download zip file.

• Run java -jar GSafe.jar

• The MATLAB file AnalysisPlot.m can be used to visualize the output of the analysis.