Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets

Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2004)

Detalles Bibliográficos
Autores: Lara Jaramillo, Juan de, Ermel, Claudia, Taentzer, Gabriele, Ehrig, Karsten
Tipo de recurso: artículo
Fecha de publicación:2004
País:España
Institución:Universidad Autónoma de Madrid
Repositorio:Biblos-e Archivo. Repositorio Institucional de la UAM
Idioma:inglés
OAI Identifier:oai:repositorio.uam.es:10486/662660
Acceso en línea:http://hdl.handle.net/10486/662660
https://dx.doi.org/10.1016/j.entcs.2004.02.053
Access Level:acceso abierto
Palabra clave:Model simulation
Parallel graph transformation
Timed transition Petri nets
Informática
Descripción
Sumario:Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2004)