Pubblication Details
| Authors: | Daniele Codetta Raiteri |
| Giuliana Franceschinis |
| Marco Gribaudo |
| Scientific Area: | Formal Models |
| Title: | The Draw-Net Modeling System: a framework for the design and the solution of single-formalism and multi-formalism models |
| Published on: | TR-INF-2006-01-01-UNIPMN |
| Publisher: | Computer Science Department, UPO |
| Year: | 2006 |
| Tipo Pubblicazione: | Technical Report |
| URL: | http://www.di.unipmn.it...R-INF-2006-01-01-UNIPMN.pdf |
| Abstract: | This paper presents the Draw-Net Modeling System, a framework 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. |
