[CEUR Workshop Proceedings] 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

  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