[CEUR Workshop Proceedings] Vol-725

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.

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

  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
    Carlos Nombre
  4. Folding Partially Ordered Runs 52-62
    Carlos Nombre
  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