Quantitative Analysis is pursued with the objective of assessing performance properties for a QPN. Different performance measures are offered for
The employed analysis technique maps the specified QPN onto a corresponding Markov chain and subsequently analyses this chain with respect to its steady state distribution. The QPN's state space is fully explored causing quantitative analysis to be restricted to QPNs with a finite state space of acceptable size. For calculating a state descriptor for FCFS stations an upper bound of the queue length has to be determined. This is performed automatically during qualitative analysis by checking the reachability graph or an appropriate P-invariant.
QPN-Tool performs quantitative analysis based on Usenum. This is a tool developed at LS Informatik IV which is specially designed for numerical analysis of finite Markov chains, see . Usenum's duties include three main steps: