Movatterモバイル変換

[0]ホーム
URL:

[CEUR Workshop Proceedings]Vol-725
urn:nbn:de:0074-725-8




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 Synthesis5-21
    Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
  2. The Label Splitting Problem22-35
    Josep Carmona
  3. Aggregating Causal Runs into Workflow Nets36-51
    Carlos Nombre
  4. Folding Partially Ordered Runs52-62
    Carlos Nombre
  5. Towards Distributed Control of Discrete-Event Systems63-78
    Philippe Darondeau, Laurie Ricker
  6. Mining with User Interaction79-84
    Robin Bergenthum, Sebastian Mauser
  7. Do Petri Nets Provide the Right Representational Bias for Process Mining?85-94
    Wil van der Aalst

Download theproceedings in a single volume.

[8]ページ先頭
©2009-2025 Movatter.jp