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

Juan de Lara | Zendy; Claudia Ermel | Zendy; Gabriele Taentzer | Zendy; Karsten Ehrig | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Juan de Lara,

Claudia Ermel,

Gabriele Taentzer,

Karsten Ehrig

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.02.053

Subject(s) - petri net , computer science , graph rewriting , stochastic petri net , formalism (music) , transformation (genetics) , theoretical computer science , graph , model transformation , process architecture , parallel computing , algorithm , artificial intelligence , art , musical , biochemistry , chemistry , consistency (knowledge bases) , visual arts , gene

Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2004)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.This work has been partially sponsored by the SEGRAVIS network and the Spanish Ministry of Science and Technology (TIC2002-01948)

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research