scientific article; zbMATH DE number 1504829

zbMATH Open0958.68123MaRDI QIDQ4502807FDOQ4502807

Authors: Hartmut Ehrig, R. Heckel, Mercè Llabrés, Fernando Orejas, J. Padberg, Grzegorz Rozenberg 

Publication date: 19 April 2001

Title of this publication is not available (Why is that?)

Recommendations

• Abstract graph derivations in the double pushout approach
• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
• Double-pushout graph transformation revisited
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Rules Dependencies in Backward Chaining of Conceptual Graphs Rules
• scientific article; zbMATH DE number 1456961
• Reachability relations and the structure of transitive digraphs
• Deriving graphs with a retracting-free bidirectional double tracing
• From imperative to rule-based graph programs
• Incomplete inference for graph problems

zbMATH Keywords

Petri netsreactive systemsgraph transformation

Mathematics Subject Classification ID

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

Cited In (2)

• GETGRATS: a summary of scientific results (with annotated bibliography)
• An institution for graph transformation

This page was built for publication:

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