Italiano (Italian) English (Inglese)
Friday, 15 December 2017

Technical Reports

Technical Report 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
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.