[ We apologise for the reception of multiple copies. ] ***************************************************************************
CALL FOR PAPERS PNGT 2008 Third Workshop on Petri Nets and Graph Transformation September 12-13, 2008, Leicester, UK http://www.math.unipd.it/~baldan/PNGT08 Satellite event of ICGT 2008 September 7 - 12, 2008, Leicester UK http://www.cs.le.ac.uk/events/icgt2008 *************************************************************************** * AIMS AND SCOPE 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. 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. * SUBMISSIONS 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 the Electronic Communications 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. Please submit your contribution in PDF. All submissions will be reviewed by the programme committee. * IMPORTANT DATES Paper submission: May 30, 2008 Notification of acceptance: June 27, 2008 Camera ready version: July 18, 2008 Workshop: September 12-13, 2008 * ORGANIZERS Paolo Baldan (Padova, Italy) - [EMAIL PROTECTED] Barbara Koenig (Duisburg-Essen, Germany) - [EMAIL PROTECTED] * PROGRAMME 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) ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
