View transformation in visual environments applied to algebraic high-level nets

MaRDI QIDQ2848076zbMATH OpenFDO

Authors Karsten Ehrig, Claudia Ermel

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105001209

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Generation of animation views for Petri nets in GenGED
• Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
• Automating the transformation-based analysis of visual languages
• Graph transformation and visual modeling techniques
• The Verigraph system for graph transformation

Cited in

(3)

• Algebraic high-level net transformation systems
• Generation of animation views for Petri nets in GenGED
• Workshop on Petri Nets and Graph Transformations

This page was built for publication: View transformation in visual environments applied to algebraic high-level nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848076)