Quantitative Analysis is pursued with the objective of assessing performance properties for a QPN. Different performance measures are offered for

- ordinary places:
- token population
- timed places:
- utilisation, throughput and token population

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 [9].
Usenum's duties include three main steps:

- exploring state space
- computing steady state distribution
- calculating performance measures

Tue Jan 9 09:20:20 MET 1996