ICGT 2004

2nd International Conference on Graph Transformation
Roma (Italy), September 28 - October 2, 2004




PNGT 2004

Workshop on Petri Nets and Graph Transformations
Date: Oct. 2
Site: Dipartimento di Informatica, via Salaria 113

Organizers:
Grzegorz Rozenberg (Leiden, The Netherlands)
Hartmut Ehrig (Berlin, Germany)
Julia Padberg (Berlin, Germany)

This workshop brings together researchers from the areas of graph transformations and Petri nets. The topic is the mutual influence of both areas and the presentation and discussion of new research, this includes, but not exclusively:

  • Graph transformations for the simulation and animation of Petri nets
  • Petri net analysis for graph transformation systems
  • Petri nets for the control of graph transformation systems
  • Petri net transformations
  • Common semantics
  • Comparison of practical use
  • Exchange formats for tools.

The contributions should introduce new concepts and results or discuss new perspectives or basic questions for some of the above mentioned topics.

Preliminary Program:

Each talk should take 35 minutes, leaving 10 minutes for discussion each.
Here you find all abstracts (PDF).
9.00--9:05
 Opening
9:05--10:30
 Session1

Higher order nets for Mobile Policies

F. Parisi-Presicce and K. Hoffmann

Modeling Metabolic and Regulatory Networks using Graph Transformations

M. C. Pinto and L.Ribeiro
10:30--11:00 Coffee Break
11:00--12:30 Session 2

Relating algebraic graph rewriting and extensions of Petri nets

P. Baldan, A. Corradini, and U. Montanari

A congruence for Petri nets

V. Sassone and P. Sobocinski
12:30 - 14:00 Lunch
14:00 - 15:30 Session 3

View Transformation in Visual Environments applied to Petri Nets

C. Ermel  and K. Ehrig

On the Use of Petri Nets as Semantic Domain for Diagram Notations

L. Baresi and M. Pezzé
15:30 - 16:00 Coffee break
16:00 - 17:30 Session

The Translation of Parametric Dynamic Fault Trees in Stochastic Well-formed  Nets as a Case of Graph Transformation

D. C. Raiteri

Marked-Controlled Reconfigurable Nets: Petri Nets with Structural Dynamic Changes

M. Llorens and J. Oliver
17:30-17:35 Closing

Contact and further information:
Julia Padberg (padberg@cs.tu-berlin.de)