Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014)

DOI: http://dx.doi.org/10.14279/tuj.eceasst.68

Table of Contents

Preface

Preface
Bernhard Westfechtel, Matthias Tichy
PDF

Articles

Mean Quantitative Coverability in Stochastic Graph Transformation Systems
Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki
PDF
Non-Deterministic Matching Algorithm for Net Transformations
Julia Padberg, Mathias Blumreiter
PDF
Rapid Prototyping of Topology Control Algorithms by Graph Transformation
Géza Kulcsár, Michael Stein, Immanuel Schweizer, Gergely Varró, Max Mühlhäuser, Andy Schürr
PDF
A Modular and Statically Typed Effectful Stack for Custom Graph Traversals
Norbert Tausch, Michael Philippsen
PDF
Towards Model Checking Reconfigurable Petri Nets using Maude
Julia Padberg, Alexander Schulz
PDF