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

DOI: https://doi.org/10.14279/tuj.eceasst.68

Published: 2014-10-07

Articles

Towards Model Checking Reconfigurable Petri Nets using Maude

Julia Padberg, Alexander Schulz
- 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
Mean Quantitative Coverability in Stochastic Graph Transformation Systems

Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki
- PDF
A Modular and Statically Typed Effectful Stack for Custom Graph Traversals

Norbert Tausch, Michael Philippsen
- PDF
Non-Deterministic Matching Algorithm for Net Transformations

Julia Padberg, Mathias Blumreiter
- PDF

Preface

Preface

Bernhard Westfechtel, Matthias Tichy
- PDF