General Stochastic Petri-Net Analysis
After clicking on the run subdirectory of the state space analysis the following dialogue box appears.
By pressing the Ananlyse GSPN button the results of GSNP analysis will appear as shown in the dialogue box above.The net used in this example was the GSNP net. The net is illustrated below.