We present a toolbox for the combined functional and quantitative analysis of discrete event dynamic systems (DEDS) on the basis of a common model interchange format, the Abstract Petri Net Notation (APNN,[5]). This format covers a fair amount of Petri net like formalisms as well as certain Queueing network concepts. At a lower level the toolbox uses a format for communicating stochastic automata, a notation to describe DEDS at a state transition level. For a more detailed description of the toolbox we refer to [3].