Given qualitative properties of QPNs can be defined similar to PNs. We direct our attention towards properties also important for quantitative analysis.

For the definition of liveness also immediate queueing places have to be taken into account, because scheduling in those queues has priority over firing of timed transitions. Obviously all these properties can be checked by analysis of the QPN's state space, provided it is finite. It is well known that this analysis technique is often not feasible due to the explosion of the state space. Before showing that more efficient analysis techniques from PN theory can be used for qualitative analysis, we will describe quantitative analysis and show that the above defined properties are essential also in this context.

Tue Jan 9 09:36:45 MET 1996