Friday 12 Sept |
|
14:00-14:15 |
Opening |
14:15-15:15 |
Invited Talk From a net-based to a graph-based semantics for web-services Fabio Gadducci |
15:15-15:55 |
Negative Application Conditions for Reconfigurable Algebraic High-Level Systems Alexander Rein |
16:00-16:30 |
Coffee Break |
16:30-17:10 |
Morphisms for General Unfoldings Tobias Heindel |
17:10-17:50 |
Reconfigurable Open Algebraic High-Level Systems Conny Ullrich, Julia Padberg |
Saturday 13 Sept |
|
9:00-10:00 |
Invited Talk Semantics of Service Discovery and Binding José Fiadeiro |
10:00-10:30 |
Coffee Break |
10:30-11:10 |
Debugging Distributed Systems with Causal Nets Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
11:10-11-50 |
Implementing Petri Net Transformations using Graph Transformation Tools Claudia Ermel, Enrico Biermann, Tony Modica, Peggy Sylopp |
11:50-12:30 |
Invited Talk McMillan's approach: from Petri nets to Graph Transformation Systems Andrea Corradini |