For the most recent entries see the Petri Nets Newsletter.

Defining formalisms and models in the Draw-Net Modeling System.

Codetta-Raiteri, D.; Franceschinis, G.; Gribaudo, M.

In: 06, 2006: Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, MOCA'06, Bericht 272, FBI-HH-B-272, pages 123-144. June 06.

Abstract: This paper presents the Draw-Net Modeling System (DMS), a framework for the design and the solution of models expressed in any (graph based) formalism, including the possiblity of representing complex models by means of multi-formalism and analyzing them by exploiting different solution modules. In this paper, the general open architecture of the DMS framework and the formal specification of th Data Definition Language (DDL) are introduced. A running example of multi-formalism model is used to illustrate the main concepts of the framework.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography