4th International Workshop on Petri Nets and Graph Transformation

PNGT 2010

September 28, 2010
Enschede, The Netherlands

Raven

A Satellite Event of ICGT 2010


[ aims | programme and abstracts | contributions | history | schedule | organizers | contact ]

Aims and Scope

PNGT 2010 is the fourth workshop of a series that serves as a forum for all researchers and practitioners interested in an exchange of ideas, notions, techniques between the fields of Petri nets and graph transformations, two prominent specification formalisms of concurrent and distributed systems. 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. 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.

Contributions

Contributions are on invitation basis. They should introduce new concepts and results, or discuss new perspectives regarding the mutual influence between the areas of graph transformations and Petri nets. The topics include but are not restricted to:
  • Reconfigurable Petri nets
  • Petri net based analysis of graph transformation systems
  • Petri nets for the control of graph transformation systems
  • Petri net transformations and components
  • Common semantics concepts
  • Comparison of practical use
  • Exchange formats for tools

History

The workshop is the fourth of a series that includes: 1st PNGT 2004 as satellite of ICGT 2004 in Rome, Italy, 2nd PNGT 2006 as satellite of ICGT 2006 in Natal, Brazil, 3rd PNGT 2008 as satellite of ICGT 2008 in Leicester, UK. This workshop is the fourth in the series of PNGT workshops:

Schedule

The workshop will be on September 28, 2010. A detailed program will be available later.

Organizers

Claudia Ermel (TU Berlin, Germany)
Kathrin Hoffmann (HAW Hamburg, Germany)

Contact Info

Please do not hesitate to contact the organizers Claudia Ermel and Kathrin Hoffmann if you have any questions:
claudia.ermel[at]tu-berlin.de (where [at] should be substituted with @, as usual nowadays).