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.