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.