Title: A toolbox for functional and quantitative analysis of DEDS

Author: Bause, F.; Buchholz, P.; Kemper, P.	 

Abstract: 

  This paper presents a toolbox for the construction of modular tools
  for functional and quantitative (performance) analysis of discrete
  event dynamic systems (DEDS). The intention is to simplify the usage
  of appropriate analysis algorithms, thus supporting the development
  of appropriate tools.
  
  We describe concepts and contents of the toolbox together with an
  interface for cooperation of tools. This interface is based on a
  general interchange format for model description, which covers
  modelling formalisms, like e.g., a wide class of Queueing Networks
  and Stochastic Petri Nets.  Furthermore currently available tool
  components are described in detail, where the stress is on state
  based functional and quantitative analysis techniques for Markovian
  models.
  
 Keywords: Discrete Event Dynamic Systems, Toolbox,
    Functional Analysis, Quantitative Analysis, Performance Analysis,
    Interchange Formats, Abstract Petri Net Notation, 
    Numerical Analysis, Markov Models


Published in:
	Forschungbericht Nr. 680/1998 
	Fachbereich Informatik, Universitaet Dortmund