Regresar

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

Abstract:

This work discusses the use of parallel graph transformation systems for (multi-formalism) modeling and simulation and their implementation in the meta-modeling tool AToM3. As an example, a simulator for Timed Transition Petri Nets (TTPN) is modeled using parallel graph transformation.

Año de publicación:

2004

Keywords:

  • Timed transition Petri nets
  • Parallel graph transformation
  • Model simulation

Fuente:

scopusscopus

Tipo de documento:

Conference Object

Estado:

Acceso abierto

Áreas de conocimiento:

  • Simulación por computadora
  • Simulación por computadora
  • Simulación por computadora

Áreas temáticas:

  • Ciencias de la computación
  • Relaciones internacionales
  • Principios generales de matemáticas

Contribuidores:

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