Barcelona, Spain, July 9, 2013
A satellite event of ACSD 2013, July 08-10, 2013
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.
- Deadline for papers: May 17, 2013
- Notification of paper acceptance: June 3, 2013
- Deadline for final contributions: June 17, 2013
- Workshop: July 9, 2013
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 July 9, 2013.
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:
- 6-8 presentations of accepted papers presenting recent results
- 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
Call for Papers
There will be room for some 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. The papers will be peer reviewed by at least three members of the program committee. All papers should be submitted via EasyChair.
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 2013 workshop at the registration site of the ACSD 2013 conference. Information about how to get to the conference site and about hotels can be found at the conference web site.
- 15:30h-15:40h: Opening
- 15:40h-17:10h: ART Regular Session
- Synthesis of Tissue Systems Maciej Koutny, Jetty Kleijn and Marta Pietkiewicz-Koutny.
- On the composition of regional structures and their logic Luca Bernardinello and Carlo Ferigato.
- Petri Nets Synthesis Using Genetic Programming Igor Kazlov and Igor Miňo.
- 17:10h-17:20h: Break
- 17:20h-17:50h: ART Work-In-Progress
- Surgical Process Mining with Test and Flip Net Synthesis Benoît Caillaud.
- How to synthesize reduced STG from LPOs Ondrej Gallo and Gabriel Juhás.
- 17:50h-18:10h: Discussion and Closing
- Eric Badouel, INRIA Rennes, France
- Robin Bergenthum, FernUni Hagen, Germany (co-chair)
- Luca Bernardinello, Università degli studi di Milano-Bicocca, Italy
- Benoît Caillaud, INRIA Rennes, France
- Josep Carmona, UPC Barcelona, Spain (co-chair)
- Jörg Desel, FernUni Hagen, Germany
- 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
- 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
- will be added