=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-725/preface.pdf
|volume=Vol-725
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-725/preface.pdf</pdf>
<pre>
Workshop Proceedings




2nd Workshop on

Application of Region Theory (ART)
Newcastle upon Tyne, UK, June 21, 2011




Satellite event of the conferences


11th International Conference on
Application of Concurrency to System Design (ACSD 2011)


32nd International Conference on
Application and Theory of Petri Nets (PETRI NETS 2011)




Edited by Jörg Desel and Alex Yakovlev
                                    Preface
Regions have been defined about 20 years ago by Andrzej Ehrenfeucht and
Grzegorz 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)
   -   visualization of concurrent hardware behavior (synthesis from logic
       circuit models, transition systems and partial orders)
   -   GALS synthesis and desynchronisation based on synthesis (synthesis
       from step transition systems and re-synthesis from Petri nets)
   -   synthesis of control and policies for discrete event systems (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 the ART workshop series was 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.

This proceedings volume contains reviewed contributions submitted to and
presented at the 2nd ART workshop.

                                                 Jörg Desel (Hagen, Germany)
                                     Alex Yakovlev (Newcastle University, UK)
                                                                    June 2011




                                       2
                                        Table of Content



Jetty Kleijn, Maciej Koutny,Marta Pietkiewicz-Koutny and Grzegorz Rozenberg 
Classifying Boolean Nets for Region-based Synthesis.......................................... 5


Josep Carmona
The Label Splitting Problem............................................................................... 22


Boudewijn van Dongen, Jörg Desel and Wil van der Aalst
Aggregating Causal Runs into Workflow Nets.................................................... 36


Robin Bergenthum and Sebastian Mauser
Folding Partially Ordered Runs......................................................................... 52


Philippe Darondeau and Laurie Ricker
Towards Distributed Control of Discrete-Event Systems................................... 63


Robin Bergenthum and Sebastian Mauser
Mining with User Interaction.............................................................................. 79


Wil van der Aalst
Do Petri Nets Provide the Right Representational Bias for Process Mining? ... 85




                                                     3
                         Programme 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, UK
Grzegorz Rozenberg, Leiden University, The Netherlands
Akex Yakovlev, Newcastle University, UK (co-chair)
Mengchu Zhou, New Jersey Institute of Technology, USA




                                       4

</pre>