Italiano (Italian) English (Inglese)
Thursday, 22 March 2018

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