6.1 Fundamentals

There is an expert system integrated into the analysis section. Considering the relations between net characteristics proved theoretically, it draws conclusions from the results already obtained. Thus, in certain cases, an elementary property - such as that the total number of tokens is not altered by firing any transitions (the net is then conservative, respectively subconservative, if the number of tokens is decreased at most) -- can be used to deduce a dynamic property like boundedness. On the other hand, superfluous analyses can be avoided by means of the expert system, because, for example, it is useless to investigate whether an inhomogenous net has the deadlock-trap-property.

Please note that INA returns used memory at the end of a computation. This is announced with the message returning heap and may last several seconds after memory-intensive procedures. Therefore, please wait until the memory is freed and the analysis can be continued.