Call for Papers __________________________________________________________________
ART 2011 Workshop on Application of Region Theory Kanazawa, Japan, June 21, 2011 http://wiki.fernuni-hagen.de/art a satellite event of ACSD 2011 / Petri Nets 2011 http://www.jaist.ac.jp/acsd-petrinets2011/ __________________________________________________________________ Important Dates: Deadline for submission of papers: April 15, 2011 Notification of paper acceptance: May 18, 2011 Deadline for final revisions: June 8, 2011 Workshop: Tuesday, June 21, 2011 __________________________________________________________________ Scope Regions have been defined about 20 years ago by A. Ehrenfeucht and G. Rozenberg as sets of nodes of a finite transition system that correspond to potential conditions that enable or disable transition occurrences in a corresponding elementary net system. Thus, regions have been the essential concept for synthesis of an elementary net systems from its "anonymous" state graph (states are unknown but transitions between states are known). Since that time, many generalizations and variants of the synthesis problem of Petri nets from behavioral descriptions have been studied, including synthesis of more general Petri net classes, synthesis from languages, synthesis from partially ordered runs and synthesis from incomplete behavioral descriptions. All this work has in common that the transition names are given more or less directly by the behavioral description. The places of the net to be synthesized always correspond to regions which are defined in many different ways, depending on the form of the behavioral description. A main issue in this research is the study of regions, whence we call the entire research direction region theory. Region Theory was applied in many different areas such as * hardware synthesis from precise specification (synthesis from transition systems) * visualisation of concurrent hardware behaviour (synthesis from logic circuit models -- transition systems and partial orders) * GALS synthesis and desynchronisation based on synthesis (synthesis from step transition systems and resynthesis from PNs) * Synthesis of control and policies for DES (synthesis from both languages and transition systems) * Modelling biological (membrane) systems with localities (synthesis from step transition systems) * generation of specifications from incomplete specifications (mining from transition systems) * model generation from examples (specification from (partial) languages) * mining of process descriptions (mining from languages) The aim of this workshop is to bring together people working in these or other application areas of region theory, to exchange ideas and concepts and to work on common workshop results. __________________________________________________________________ Topics and Submission Possible topics of the solicited papers are: * new results in region theory * new results in application of region theory * related techniques for synthesis or mining of systems from behavioral descriptions * algorithms and tools * empirical research such as evaluation of techniques The program committee invites submission of full papers (up to 15 pages) and of short papers (up to 5 pages). Papers should be submitted as pdf-files using the Springer LNCS-format (http://www.springer.de/comp/lncs/authors.html). Submissions should include title, author's address and email, and an abstract. Please send your paper to one of the program committee chairs ( [email protected] / [email protected] ). The papers will be peer reviewed by at least three members of the program committee. Accepted papers will be included in the workshop proceedings which will be available at the workshop and online. At least one of the authors of each accepted contribution should register and take part in the workshop to give the presentation. Selected papers from the workshop will be invited for publication in a volume of the journal subline of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a new round of reviewing. __________________________________________________________________ Organization of the Workshop This workshop is not meant to be only a collection of paper presentations. Instead, participants should actually discuss and work with each other and aim at common results. The workshop will take place on Tuesday, June 21, full day. We plan to consider three orthogonal axes: theory, application and tools. Often, particular theoretical results are used only in one application area and tools have been developed for particular application areas. The aim of the workshop is to share findings of theory, questions from applications and experiences with tools among researchers working in region theory, applying region theory or developing and/or using synthesis tools. Therefore, we plan to have the following items: * presentations of accepted papers presenting recent results * working groups on techniques (mining / synthesis from languages / from transition systems) working on case studies with tools and representing results in colloquium * working groups on application areas (hardware, system design, business processes, ...) working on case studies with tools and representing results in colloquium __________________________________________________________________ Program Committee * Josep Carmona, UPC Barcelona, Spain * Philippe Darondeau, INRIA Rennes, France * Jörg Desel, FernUniversität in Hagen, Germany (co-chair) * Boudewijn van Dongen, TU Eindhoven, The Netherlands * Luís Gomes, Universidade Nova de Lisboa, Portugal * Gabriel Juhás, Slovak University of Technology, Slovak Republic * Jetty Kleijn, Leiden University, The Netherlands * Alex Kondratyev, Cadence Design Systems Inc., Berkeley CA, USA * Luciano Lavagno, Politecnico di Torino, Italy * Robert Lorenz, Universität Augsburg, Germany * Marta Pietkiewicz-Koutny, Newcastle University, GB * Grzegorz Rozenberg, Leiden University, The Netherlands * Alex Yakovlev, Newcastle University, GB (co-chair) * Mengchu Zhou, New Jersey Institute of Technology, USA __________________________________________________________________ Previous ART workshop Last year, the workshop on Application of Region Theory (ART) was organized as a satellite event of ACSD 2010 http://www.informatik.ku-eichstaett.de/wiki So this is the second workshop of this series. ---- [[ 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] ]]
