Incidence and Marking

If the incidence and marking box is pressed at the top left corner of the GUI, followed by the run subdirectory, a dialogue box appears. By pressing the Calculate button incidence, marking and enabled transition matrices will be calculated.

The results will appear inside the dialogue box. The net used in this example was the net representing a simple switch. The net is illustrated below.