Sciweavers

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

58

Voted

ECEASST
2006

favoriteEmaildiscussreport

48views more ECEASST 2006»

Optimization in Graph Transformation Systems Using Petri Net Based Techniques

14 years 11 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)