PNGT 2008
3rd Workshop on Petri Nets and Graph Transformations

PNGT 2006

Leicester, UK
September 12-13, 2008
 
Satellite Event of ICGT'08
4th International Conference on Graph Transformation

Schedule

 A detailed program is now available. The workshop will be on Sept 12 (afternoon) and Sept 13 (morning).

Important Dates
Paper submission: June 9, 2008
Notification of acceptance:     June 27, 2008
Camera ready version: July 18, 2008
Workshop: September 12-13, 2008

Scope and Objectives of the Workshop

 The aim of the workshop is to encourage an exchange of ideas, notions, techniques between the fields of Petri nets and graph transformation systems, two prominent specification formalisms of concurrency and distribution. It belongs to the folklore that Petri nets can be seen as rewriting systems over (multi)sets, the rewriting rules being the transitions, and, as such they can be seen as special graph transformation systems. This close correspondence between the two models has naturally led to a mutual influence and a fruitful cross-fertilization. For instance, several approaches to the concurrent semantics of graph transformation systems as well as techniques for their analysis and verification are strongly influenced by the corresponding theories and constructions for Petri nets. Classical Petri net models have been integrated with graph transformation systems, e.g., in order to define rule-based changes in the net structure. This serves both for a stepwise refinement of Petri net models or for the specification of dynamically reconfiguring nets. Interesting connections exist with extensions of Petri net models with dynamic topologies, or with notions of Petri net module or component. Graph transformation systems are also used for the development, the simulation, or animation of various types of Petri nets, e.g., via the the definition of visual languages and environments. Any contribution which can help in continuining this productive interaction will be welcome.

Contributions

 Please submit your contribution in PDF by using EasyChair. We solicit contributions to this workshop in the form of
  • full papers (up to 12 pages)
  • short papers providing work-in-progress descriptions (up to 7 pages)
  • abstracts (up to 1 page)

Short and full papers should present original material, not published elsewhere. The accepted papers will be published in an issue of Electronic communication of the EASST.

Abstracts should present relevant (not necessarily original) material which can stimulate scientific discussions and exchange of ideas. They will be included only in the informal proceedings distributed at the workshop.

All authors of accepted contributions will be asked to present their work during the workshop. All submissions will be reviewed by the programme committee.

Topics

 The topics of interest in the fields of Petri nets (PNs) and graph transformations (GTs) include but are not restricted to:
  • Petri net transformations and reconfigurations
  • Petri net components and structuring concepts
  • Common semantics for Petri nets and graph transfomations, e.g., unfolding semantics and behavioural equivalences
  • Petri net analysis techniques for graph transformation systems
  • Petri nets and graph transformation systems for service-based architectures
  • Petri nets and graph transformation for biological systems
  • Graph transformations for the simulation and animation of Petri nets
  • Comparisons of practical use
  • Tools and exchange formats
and, in general, any contribution in one of the two fields which is of potential interest for the other.

Organizers

 Paolo Baldan (Padova, Italy)
Barbara Koenig (Duisburg-Essen, Germany)

Committee

 Paolo Baldan (Padova, Italy)
Andrea Corradini (Pisa, Italy)
Juan De Lara (Madrid, Spain)
Hartmut Ehrig (Berlin, Germany)
Javier Esparza (Munich, Germany)
Barbara Koenig (Duisburg-Essen, Germany)
Maciej Koutny (Newcastle, UK)
Julia Padberg (Berlin, Germany)
Grzegorz Rozenberg (Leiden, The Netherlands)
Pawel Sobocinski (Southampton, UK)
Daniel Varro (Budapest, Ungary)
Walter Vogler (Augsburg, Germany)