| Vol-725 urn:nbn:de:0074-725-8 Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# ART-2011
Applications of Region Theory 2011

### Proceedings of the Workshop Applications of Region Theory 2011

### Newcastle upon Tyne, UK, June 21, 2011.

Edited by

### Jörg Desel *
Alex Yakovlev **

* FernUniversität in Hagen, Lehrgebiet Softwaretechnik und Theorie der Programmierung, Universitätsstr. 1, 58097 Hagen, Germany
** Newcastle University, School of Electrical, Electronic and Computer Engineering , Newcastle upon Tyne, United Kingdom, NE1 7RU

## Table of Contents

- Preface

1. Classifying Boolean Nets for Region-based Synthesis 5-21
   Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2. The Label Splitting Problem 22-35
   Josep Carmona
3. Aggregating Causal Runs into Workflow Nets 36-51
   Boudewijn van Dongen, Jörg Desel, Wil van der Aalst
4. Folding Partially Ordered Runs 52-62
   Robin Bergenthum, Sebastian Mauser
5. Towards Distributed Control of Discrete-Event Systems 63-78
   Philippe Darondeau, Laurie Ricker
6. Mining with User Interaction 79-84
   Robin Bergenthum, Sebastian Mauser
7. Do Petri Nets Provide the Right Representational Bias for Process Mining? 85-94
   Wil van der Aalst

#### Download the proceedings in a single volume.

14-Jun-2011: submitted by Jörg Desel
16-Jun-2011: published on CEUR-WS.org