Mostrando 2 resultados de: 2
Parallel graph transformation for model simulation applied to timed transition petri nets
Conference ObjectAbstract: This work discusses the use of parallel graph transformation systems for (multi-formalism) modelingPalabras claves:Model simulation, Parallel graph transformation, Timed transition Petri netsAutores:Ehrig K., Ermel C., Juan De Lara, Taentzer G.Fuentes:scopusTermination criteria for model transformation
Conference ObjectAbstract: Model Transformation has become central to most software engineering activities. It refers to the prPalabras claves:Autores:Ehrig H., Ehrig K., Juan De Lara, Taentzer G., Varró D., Varró-Gyapay S.Fuentes:scopus