Applications of Region Theory (ART)
From Informatik KU Eichstätt
A satellite event of ACSD 2010 and Petri Nets 2010 June 21-22, Braga, Portugal
Contents |
Description
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 specifications (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.
Organization of the Workshop
This workshop is not meant to be only a collection of paper presentations. Instead, participants should actually work with each other and aim at common results. Moreover, there will be state-of-the-art presentations from invited speakers.
Program Structure
The workshop will take place from Monday, June 21 noon until Tuesday June 22 afternoon.
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:
- invited state-of-the-art talks on regions theory
- invited state-of-the-art talks on applications of region theory (hardware synthesis, mining, system design from example runs, ...)
- demonstrations of tools
- working groups on techniques (mining / synthesis from languages / synthesis 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
- 6-8 presentations of accepted papers presenting recent results
Call for Papers
There will be room for a small number of accepted papers. 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 commitee chairs ( joerg.desel@kuei.de / Alex.Yakovlev@newcastle.ac.uk ). 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. 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.
Registration and Accomodation
Please register for the ART 2010 workshop at the registration site of the ACSD 2010 conference. Information about how to get to the conference site and about hotels can be found at the conference web site .
Preliminary program committee
- Josep Carmona, UPC Barcelona, Spain
- Philippe Darondeau, INRIA Rennes, France
- Jörg Desel, KU Eichstätt-Ingolstadt, 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, Uni 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
Important Dates
- Deadline for papers: March 20, 2010
- Notification of paper acceptance: May 1, 2010
- Deadline for final contributions: May 22, 2010
- Workshop: June 21-22, 2010
