State Space Analysis

After clicking on the run subdirectory of the state space analysis the following dialogue box appears.

 

 

By pressing the Analyse button  a state space analysis will take place. The results of the analysis is the determination of  the boundness and the safeness of the current petri-net.

The net used in this example was the net representing a simple switch. The net is illustrated below.