Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Electronic Notes in Theoretical Computer Science(1)
Proceedings - International Conference on Application of Concurrency to System Design, ACSD(1)
Área temáticas
Ciencias de la computación(2)
Filosofía y teoría(1)
Ingeniería y operaciones afines(1)
Principios generales de matemáticas(1)
Relaciones internacionales(1)
Origen
scopus(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:scopusModelling and analysis of distributed simulation protocols with distributed graph transformation
Conference ObjectAbstract: This paper presents our approach to model distributed discrete event simulation systems in the framePalabras claves:Discrete event simulation, Distributed Graph Transformation, Distributed simulation, ProtocolsAutores:Juan De Lara, Taentzer G.Fuentes:scopus