Thursday 21 Sept |
|
16:30 |
Opening |
16:40 |
Event Structure Semantics for Dynamic Contextual Nets Roberto Bruni, Hernán Melgratti, Ugo Montanari [Abstract] |
17:20 |
Algebraic High-Level Nets as Weak Adhesive HLR Categories Ulrike Prange [Abstract] |
18:00 |
Subobject Transformation Systems and Elementary Net Systems Andrea Corradini, Frank Hermann, Pawel Sobocinski [Abstract] |
Friday 22 Sept |
|
10:30 |
Reversing graph transformations Pawel Sobocinski [Abstract] |
11:10 |
Graph transformation systems, Petri nets and semilinear sets: Checking for the absence of forbidden paths in graphs Barbara König [Abstract] |
11:50 |
Petri Nets and Matrix Approach to Graph Transformation: Reachability Pedro Pablo Pérez Velasco, Juan De Lara [Abstract] |
12:30 |
Lunch |
14:00 |
Optimization in graph transformation systems using Petri
net based techniques Szilvia Varró-Gyapay, Dániel Varró [Abstract] |
14:40 |
Modeling the Webgraph Evolution with Graph Grammars Leila Ribeiro, L. Buriol, F.L. Dotti, C. Nunes, R. da Silva [Abstract] |
15:20 |
A basic tool for the modeling of Marked-Controlled Reconfigurable
Petri Nets Marisa Llorens, Javier Oliver [Abstract] |