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.