Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ECEASST
2006

favoriteEmaildiscussreport

48views more ECEASST 2006»

Optimization in Graph Transformation Systems Using Petri Net Based Techniques

13 years 4 months ago

Optimization in Graph Transformation Systems Using Petri Net Based Techniques

Download www.dsi.unive.it

Szilvia Varró-Gyapay, Dániel Varr&oa

Real-time Traffic

ECEASST 2006 |

claim paper

Related Content

» A structural encoding technique for the synthesis of asynchronous circuits

» MetaModelling Graph Transformation and Model Checking for the Analysis of Hybrid Systems

» Automating the transformationbased analysis of visual languages

» Synthesis and Implementation of a SignalType Asynchronous Data Communication Mechanism

» Verification of Graph Transformation Systems with ContextFree Specifications

» Simulating Algebraic HighLevel Nets by Parallel Attributed Graph Transformation

» Translating Model Simulators to Analysis Models

» A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transfo...

» Verifying FiniteState Graph Grammars An UnfoldingBased Approach

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ECEASST
Authors	Szilvia Varró-Gyapay, Dániel Varró

Comments (0)