The Bio-PEPA Eclipse Plug-inUser Manual: Managing the Graph View

6.1 Managing the Graph View

The results of the simulations are usually plotted in the Graph View. The Graph View allows the user to rename the graph tab, to detach the graph and view it separately, to close the graph, to export the graph as an image in .png format or as text data in .csv format.

Renaming the graph tab

To rename the graph tab, click on the Rename button in the upper right hand corner of the Graph View (see Figure 67). Then, you have to enter a new name for the graph tab and click OK in the dialogue box that appears (see Figure 68).The renamed graph is shown in Figure 69.

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview5}$

Figure 24: Click on the Rename button

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview8}$

Figure 25: Enter a new name for the graph tab

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview9}$

Figure 26: The renamed graph

Detaching the graph

To detach the graph from the Graph View, you have to click on the Detach button in the upper right hand corner of the Graph View (see Figure 70). The detached graph is shown in Figure 71.

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview6}$

Figure 27: Click on the Detach button

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview10}$

Figure 28: The detached graph

Closing the graph

To close the graph, you have to click on the Close button in the upper right hand corner of the Graph View (see Figure 72).

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview13}$

Figure 29: Click on the Close button

Exporting to .png

To export the graph to a .png file, you have to click on the Export to PNG button in the upper right hand corner of the Graph View (see Figure 73). Then, you have to enter the parent folder in which the .png file will be saved and click OK in the dialogue box that appears (see Figure 74). Finally, you have to choose the size of the .png image and again click OK in the dialogue box (see Figure 75). A saved .png file is shown in Figure 76.

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview1}$

Figure 30: Click on the Export to PNG button

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview2}$

Figure 31: Choose a parent folder and a file name

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview3}$

Figure 32: Choose the size of the image

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview4}$

Figure 33: The saved .png image

Exporting to .csv

To export the graph to a comma-separated (.csv) file, for processing with Gnuplot or Excel, or similar tools, you have to click on the Export to CSV button in the upper right hand corner of the Graph View (see Figure 77). Then, you have to enter the parent folder in which the .csv file will be saved and click OK in the dialogue box that appears (see Figure 78).

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview7}$

Figure 34: Click on the Export to CSV button

$\includegraphics[scale=0.5]{screenshots/screenshots/graphview11}$

Figure 35: Exporting the graph data to a .csv file