=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-989/modbe13-frontmatter.pdf
|volume=Vol-989
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-989/modbe13-frontmatter.pdf</pdf>
<pre>
         Editor: Daniel Moldt




Proceedings of the
International Workshop on
           Mod eling and
           B usiness
           E nvironments
           ModBE’13




          University of Hamburg
       Department of Informatics
These proceedings are published online by the editor as Volume 989 at
    CEUR Workshop Proceedings
    ISSN 1613-0073
    http://ceur-ws.org/Vol-989

Copyright for the individual papers is held by the papers’ authors. Copying is per-
mitted only for private and academic purposes. This volume is published and copy-
righted by its editors.
Preface
These are the proceedings of the International Workshop on Modeling and
Business Environments (ModBE’13) in Milano, Italy, June 24, 2013. It is
a co-located event of Petri Nets 2013, the 34th international conference on
Applications and Theory of Petri Nets and Concurrency.
   More information about the workshop can be found at
    http://www.informatik.uni-hamburg.de/TGI/events/modbe13/
Business environments are a central application domain for modeling ap-
proaches. Basic paradigms of these approaches correspond to their central
concepts, such as processes, objects, components, agents, services or organi-
zations. Their inherent properties allow an adequate Business/IT-Alignment.
Within the models and systems of this alignment several principle notions
need to be incorporated, such as distribution, concurrency, correctness and
adaptability. In this workshop modeling approaches will be discussed from
various perspectives with several means.
    While ModBE’13 (Modeling and Business Environments) will take place
as a satellite event of Petri Nets 2013 other modeling techniques than Petri
nets and their means are explicitly welcome. Furthermore, experts from the
application domain will challenge the technical and conceptual solutions.
ModBE’13 shall provide a forum for researchers from interested communities
to investigate, experience, compare, contrast and discuss solutions for mod-
eling in business environments. During the workshop a part of the available
time is reserved for a group wise discussion of challenging questions.
The program committee consists of:

   Bernhard Bauer (Germany)
   Olivier Boissier (France)
   Fabian Büttner (France)
   Jean-Michel Bruel (France)
   Christine Choppy (France)
   Ernesto Damiani (Italy)
   Patrick Delfmann (Germany)
   Susanna Donatelli (Italy)
   Joaquín Ezpeleta Mateo (Spain)
   Walid Fdhila (Austria)
   Michael Felderer (Austria)
   Luciano García-Bañuelos (Estonia)
   Holger Giese (Germany)
   Paolo Giogini (Italy)
   Vincent Hilaire (France)
   Lom Messan Hillah (France)
   Viviana Mascardi (Italy)
   Maristella Matera (Italy)
266      ModBE’13 – Modeling and Business Environments

      Florian Matthes (Germany)
      Jan Mendling (Austria)
      Daniel Moldt (Germany) (Chair)
      Ambra Molesini (Italy)
      Berndt Müller (United Kingdom)
      Andreas Oberweis (Germany)
      Andrea Omicini (Italy)
      Sietse Overbeek (Germany)
      Alexei Sharpanskykh (The Netherlands)
      Christophe Sibertin-Blanc (France)
      Carla Simone (Italy)
      Ingo Timm (Germany)
      Ferucio Laurentiu Tiplea (Rumania)
      Adelinde Uhrmacher (Germany)
      Ulrich Ultes-Nitsche (Switzerland)
      Wamberto Vasconcelos (United Kingdom)
      Jan Martijn van der Werf (The Netherlands)
      Mathias Weske (Germany)
      Manuel Wimmer (Austria)
We received five high-quality contributions for which at least four reviews
were made. In addition we received two posters. The program committee
has accepted three of them for full presentation. Furthermore the commit-
tee accepted one papers as short presentations. Two more contributions were
accepted as posters.

Furthermore, we would like to thank our colleagues in the local organization
team at the University of Milano, Italy, for their support.

Without the enormous efforts of authors, reviewers, PC members and the or-
ganizational team this workshop wouldn’t provide such an interesting booklet.

Thanks!
Daniel Moldt                                             Hamburg, June 2013
ModBE’13 Proceedings

Part VI ModBE’13: Invited Talk

Knowledge and Business Intelligence Technologies in Cross-
Enterprise Environments for Italian Advanced Mechanical
Industry
Ernesto Damiani and Paolo Ceravolo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271


Part VII ModBE’13: Long Presentations

Optimizing Algebraic Petri Net Model Checking by Slicing
Yasir Imtiaz Khan and Matteo Risoldi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275
A Proposal for the Modeling of Organizational Structures
and Agent Knowledge in MAS
Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus . . . . . . . . 295
Mining Declarative Models Using Time Intervals
Jan Martijn van der Werf, Ronny Mans and Wil van der Aalst . . . . . . . . 313


Part VIII ModBE’13: Short Presentation

Improving Emergency Department Processes Using Coloured
Petri Nets
Khodakaram Salimifard, Seyed Yaghoub Hosseini and Mohammad
Sadegh Moradi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335


Part IX ModBE’13: Poster Abstracts

Advantages of a Full Integration between Agents and
Workflows
Thomas Wagner and Lawrence Cabac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353
Cloud Transition for QoS Modeling of Inter-Organizational
Workflows
Sofiane Bendoukha and Lawrence Cabac . . . . . . . . . . . . . . . . . . . . . . . . . . . . 355

</pre>