6.2 Analysis status

The progress of the analysis is indicated in two status lines.

ORD HOM NBM PUR CSV SCF CON SC  Ft0 tF0 Fp0 pF0 MG  SM  FC  EFC ES 
 Y   Y   Y   N   N   N   Y   N   Y   N   N   N   N   N   N   N   Y  
DTP SMC SMD SMA CPI CTI  B  SB  REV DSt BSt DTr DCF  L   LV L&S WL  CL
 ?   N   ?   ?   N   ?   N   N   ?   ?   N   ?   ?   ?   ?   N   ?   ?

The possible properties of the considered net are listed. The symbol below each property indicates whether the property is fulfilled (Y), not fulfilled (N), or no decision could have been made yet (?). The first line contains elementary net characteristics, which are found during the pre-analysis by considering the structure of the net. The second line, on the other hand, consists of further dynamic properties, i.e. those depending on the initial marking, which may be clarified after further analysis. Of course, the status entries also depend on the selected net options and the results already found, as some properties only make sense under certain conditions. The example above displays all possibilities.