4th International Workshop on Petri Nets and Graph Transformation | ||
PNGT 2010
|
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:
|
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: |