This paper presents the last version of Draw-Net, a customizable tool for the design and solution of models expressed in any graph based formalism, including the possibility of representing complex models by means of multi-formalism and analyzing them by exploiting different solution modules. In particular, it focuses on the new tools and features available in the current version of the framework.

Draw-Net, a customizable multi-formalism multi-solution tool for the quantitative evaluation of systems

GRIBAUDO, MARCO
2005-01-01

Abstract

This paper presents the last version of Draw-Net, a customizable tool for the design and solution of models expressed in any graph based formalism, including the possibility of representing complex models by means of multi-formalism and analyzing them by exploiting different solution modules. In particular, it focuses on the new tools and features available in the current version of the framework.
International Conference on the Quantitative Evaluation of Systems (QEST'05)
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/569961
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 18
  • ???jsp.display-item.citation.isi??? 9
social impact