Pubblicazioni
| Autori: | Daniele Codetta Raiteri |
| Giuliana Franceschinis | |
| Marco Gribaudo | |
| Area Scientifica: | Formal Models |
| Titolo: | The Draw-Net Modeling System: a framework for the design and the solution of single-formalism and multi-formalism models |
| Apparso su: | TR-INF-2006-01-01-UNIPMN |
| Editore: | Computer Science Department, UPO |
| Anno: | 2006 |
| Tipo Pubblicazione: | Technical Report |
| URL: | http://www.di.unipmn.it...R-INF-2006-01-01-UNIPMN.pdf |
| Sommario: | 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. |