Specification and analysis of QPNs require appropriate tool support. This section contains a description of QPN-Tool, which is developed at LS Informatik IV, University of Dortmund. Furthermore a brief introduction into the qualitative and quantitative analysis of QPNs is given.
QPN-Tool is a prototype which is implemented in C and is executable on Sun3, Sun4-machines with Sunview or OpenWindows. It contains a graphical user interface and a variety of analysis algorithms for qualitative and quantitative analysis of QPNs. Figure 4 describes the modular structure of QPN-Tool. A brief description of its different modules follows.