90 followers
Model Checking Reconfigurable Petri Nets with Maude by Julia Padberg and Alexander Schulz https://t.co/eIMSrjAx67 #icgt16
Graph Transformation
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering
-
Altmetric BadgeChapter 2 Sesqui-Pushout Rewriting with Type Refinements
-
Altmetric BadgeChapter 3 Parallelism in AGREE Transformations
-
Altmetric BadgeChapter 4 Model Checking Reconfigurable Petri Nets with Maude
-
Altmetric BadgeChapter 5 A Software Package for Chemically Inspired Graph Transformation
-
Altmetric BadgeChapter 6 A Tool Environment for Managing Families of Model Transformation Rules
-
Altmetric BadgeChapter 7 Compiling Graph Programs to C
-
Altmetric BadgeChapter 8 An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations
-
Altmetric BadgeChapter 9 Rete Network Slicing for Model Queries
-
Altmetric BadgeChapter 10 An SQL-Based Query Language and Engine for Graph Pattern Matching
-
Altmetric BadgeChapter 11 On the Operationalization of Graph Queries with Generalized Discrimination Networks
-
Altmetric BadgeChapter 12 The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework
-
Altmetric BadgeChapter 13 Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions
-
Altmetric BadgeChapter 14 Using Graph Transformation for Puzzle Game Level Generation and Validation
-
Altmetric BadgeChapter 15 Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization