Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Electronic Notes in Theoretical Computer Science(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
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:scopusLudo: A case study for graph transformation tools
Conference ObjectAbstract: In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (sePalabras claves:Autores:Dotor A., Ermel C., Juan De Lara, Jurack S., Kniemeyer O., Maier S., Rensink A., Staijen T., Zündorf A.Fuentes:scopus