Volume 2: Petri Nets and Graph Transformations

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

Table of Contents

Preface

Foreword
Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
PDF

Articles

Event Structure Semantics for Dynamic Graph Grammars
Roberto Bruni, Hernan Melgratti, Ugo Montanari
PDF
Algebraic High-Level Nets as Weak Adhesive HLR Categories
Ulrike Prange
PDF
Reversing graph transformations
Pawel Sobocinski
PDF
Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs
Barbara Koenig
PDF
Petri Nets and Matrix Graph Grammars: Reachability
Juan de Lara, Pedro Pablo Perez Velasco
PDF
Optimization in Graph Transformation Systems Using Petri Net Based Techniques
Szilvia Varro-Gyapay, Daniel Varro
PDF
A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets
Marisa Llorens, Javier Oliver
PDF