Italiano (Italian) English (Inglese)
giovedì, 5 ottobre 2023

Rapporti Tecnici

Dettagli rapporto tecnico
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
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.