In: Tools'98 - 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Palma de Mallorca (Spain), pages 356-359. September 1998.
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.
Back to the Petri Nets Bibliography