Applications of Region Theory (ART) 2011

From art
Jump to: navigation, search

Newcastle upon Tyne, UK, June 21, 2011

A satellite event of ACSD 2011 and Petri Nets 2011, June 20-24, 2011

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.

Previous ART Workshop

Last year, the workshop on Application of Region Theory (ART) was organized as a satellite event of ACSD 2010 [1]. So this is the second workshop of this series.

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.

Program Structure

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:

  • 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

Program

@Tuesday, June 21, 2011

Synthesis for specific net classes [9:00 - 10:30]

  • Classifying Boolean Nets for Region-based Synthesis Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny and Grzegorz Rozenberg
  • The Label Splitting Problem Josep Carmona

Synthesis by folding [11:00 - 12:30]

  • Aggregating Causal Runs into Workflow Nets Boudewijn van Dongen, Jörg Desel and Wil van der Aalst
  • Folding Partially Ordered Runs Robin Bergenthum and Sebastian Mauser

Distributed Control and Process Mining [14:00 - 15:30]

  • Towards Distributed Control of Discrete-Event Systems Philippe Darondeau and Laurie Ricker
  • Mining with User Interaction Robin Bergenthum and Sebastian Mauser
  • Do Petri Nets Provide the Right Representational Bias for Process Mining? Wil van der Aalst

Group work and discussion [16:00 - 18:00]

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. Please send your paper to one of the program commitee chairs ( joerg.desel@fernuni-hagen.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 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.

Registration and Accomodation

Please register for the ART 2011 workshop at the registration site of the ACSD 2011 conference. Information about how to get to the conference site and about hotels can be found at the conference web site.

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: April 15, 2011
  • Notification of paper acceptance: May 18, 2011
  • Deadline for final contributions: June 8, 2010
  • Workshop: June 21, 2011

Presentations

  • will be added