275 search results - page 1 / 55 » Optimization in Graph Transformation Systems Using Petri Net... |
ECEASST
2006
13 years 4 months ago
2006
ACSD
2001
IEEE
13 years 8 months ago
2001
IEEE
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
AGTIVE
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
FAC
2010
13 years 3 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
ASYNC
2001
IEEE
13 years 8 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...