Typically analysis goals either refer to qualitative properties, e.g. absence of deadlocks, liveness or boundedness, or determination of performance measures. Within QPN-Tool qualitative properties are investigated by a so-called qualitative analysis which is based on Petri net theory. Performance measures are computed by analysis of the corresponding Markov-chain, which is called quantitative analysis. These analysis techniques are briefly described in the following.
Before qualitative analysis a consistency check is performed and the QPN is classified as described below.