Documentos de Taentzer G. | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Publisher: "Electronic Notes in Theoretical Computer Science"

Subtipo de publicación

Conference Object(1)

Área temáticas

Ciencias de la computación(1)

Principios generales de matemáticas(1)

Relaciones internacionales(1)

Área de conocimiento

Simulación por computadora(1)

Año de Publicación

Origen

Palabras Claves

Model simulation(1)

Parallel graph transformation(1)

Timed transition Petri nets(1)

Parallel graph transformation for model simulation applied to timed transition petri nets

Conference Object

Abstract: This work discusses the use of parallel graph transformation systems for (multi-formalism) modeling

Palabras claves:

Model simulation, Parallel graph transformation, Timed transition Petri nets

Ehrig K., Ermel C., Juan De Lara, Taentzer G.