Special features of QPN-Tool (Version 2.0)
QPN-Tool provides several algorithms for an
efficient qualitative analysis of the underlying untimed Coloured
Petri Net. Amongst the usual calculation of invariants, algorithms
for specific net classes are offered.
Version 2.0 additionally offers a structured analysis module for
performance analysis where the hierarchical structure is exploited.
Thus the user has the the possibility to analyse Markov Chains with very large state spaces
in the order of some millions of states.
Remark: Because of historical reasons the GUI of our
tool is based on a commercial GUI generator running under SunView with
Unfortunately from some last installations we
experienced increasing difficulties with the cooperation of the GUI
and current window managers, e.g OpenWindows supporting SunView
applications. Clearly SunView is not state of the art anymore and we
are currently developing a new version of the GUI under XWindows. The
new tool will probably be available in the beginning of april 1996 and we
will provide an anon-ftp link to this future version.
Falko Bause, Peter Buchholz, Peter Kemper
LS Informatik IV , Universität Dortmund