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.
Back to the Petri Nets Bibliography