MIN Faculty
Department of Informatics
Theoretical Foundations of Computer Science

ModBE'13

International Workshop on

Modeling and Business Environments

Milano, Italy, June 24, 2013

a satellite event of

Petri Nets 2013

34th INTERNATIONAL CONFERENCE ON APPLICATION AND
THEORY OF PETRI NETS AND CONCURRENCY

Contact e-mail: modbe13_at_informatik_dot_uni-hamburg_dot_de

Important Dates:
Abstracts should be submitted now to get us informed
Deadline for full papers: April 21st, 2013
Deadline for short papers: April 23rd, 2013
Notification of paper acceptance: May 10th, 2013
Deadline for posters: May 12th, 2013
Notification of poster acceptance: May 14th, 2013
Deadline for final revisions: May 21st, 2013

Some of the best papers from the workshop will be invited for publication in a volume of the journal sub line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and will go through a new round of reviewing, as standard practice for journal papers.
ToPNoC volumes of Petri Net conferences' workshops in the Springer LNCS series are contained in volumes 5100, 5460, 5800, 6550, 6900 and 7400.

Scope

Business environments are a central application domain for modeling approaches. Basic paradigms of these approaches correspond to their central concepts, such as processes, objects, components, agents, services or organizations. 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 modeling in business environments. During the workshop a part of the available time is reserved for a group wise discussion of challenging questions.

Topics

We welcome contributions describing original research that addresses open problems or contributions presenting new ideas regarding modeling of, for and within business environments. Furthermore we also welcome surveys addressing open problems and new applications. Topics of interest include but are not limited to:

Proceedings

The workshop proceedings for ModBE'13 will be available online at
CEUR-WS.org as volume number 989.
It will be available from 09.07.13 onwards.


Invited Speakers

Ernesto Damiani and Paolo Ceravolo: Knowledge and Business Intelligence Technologies in Cross-Enterprise Environments for Italian Advanced Mechanical Industry
(SESAR Lab, Department of Computer Science, Università degli Studi di Milano, Italy)
Today's industry is pushed by the competitive pressure to revise the business model by opening the organizational boundaries to suppliers, clients and partners. As a side effect, knowledge sharing within the market increases and organizations may lose control on strategical knowledge that can be exploited by competitors. For this reason process monitoring today cannot fail in controlling the collaboration activities established inside and outside the organization.
KITE.it is a project, founded by the italian Ministry of Economic Development, aimed at proposing a methodological and technological framework to support the italian mechanical industry in adopting advanced business network approached. The Kite framework is aimed at driving the management process in the identification of the business values creating the network and in supporting the strategical analysis by monitoring both the operational and collaborative processes.
The metric system was designed to integrate in a unified analysis metrics insisting on the strategical, operational and collaborative level. From the technological point of view this is achieved by decoupling the monitoring format from the execution logs that can be integrated in the Kite model from heterogeneous data sources.

Further Invited Speakers

PNSE'13
Andrea Omicini and Stefano Mariani: Coordination for Situated MAS: Towards an Event-driven Architecture
(Alma Mater Studiorum -- Università di Bologna, Italy)
Complex software systems modelled as multi-agent systems (MAS) are characterised by activities that are generated either by agents, or by the environment in its most general acceptation --- that is, environmental resources and the spatio-temporal fabric.
Modelling and engineering complex multi-agent systems (MAS) -- such as pervasive, adaptive, and situated MAS -- requires then to properly handle diverse classes of events: agent operations, resource events, spatio-temporal situation.
In this talk, first we devise out the requirements for a software architecture for an agent-based middleware based on boundary artefacts, then we sketch a concrete architecture based on the TuCSoN middleware for MAS coordination.
BioPPN'13
Raffaele Calogero: Dreaming about models: a biologist’s perspective
(Department of Molecular Biotechnologies and Life Sciences, University of Torino, Italy)
For more information please see BioPPN'13 website
All invited talks are joint sessions of the Petri Nets 2013 satellite workshops.


ModBE'13 Programme (joint with PNSE'13)

All ModBE'13 talks are on Monday.

Monday, June 24th

09:00 - 09:15 Opening - BioPPN'13, ModBE'13 and PNSE'13

09:15 - 10:15 Invited Talk (BioPPN'13): ALL invited talks are open for all events!

  • Raffaele Calogero
    Dreaming about models: a biologist’s perspective

10:15 - 10:45 Coffee Break

10:45 - 12:15 Talks:

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

12:15 - 14:00 Lunch

14:00 - 15:00 Invited Talk ModBE'13:

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

15:00 - 15:30 Advertising Talks:

  • Poster: Toshiyuki Miyamoto and Hiroyuki Oimura
    A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets
  • Poster: Vegard Veiset and Lars Kristensen
    Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol
  • Poster: Thomas Wagner and Lawrence Cabac
    Advantages of a Full Integration between Agents and Workflows
  • Poster: Sofiane Bendoukha and Lawrence Cabac
    Cloud Transition for QoS Modeling of Inter-Organizational Workflows

15:30 - 16:00/16:30 Coffee Break
  • Parallel to Poster and Tool Demo
  • 16:30 - 18:00 Talks:

    • Tomáš Richta, Vladimír Janoušek and Radek Kočí
      Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems
    • Lukasz Fronc and Franck Pommereau
      Building Petri nets tools around Neco compiler
    • Francesco Fiamberti, Daniela Micucci and Francesco Tisato
      Petri nets as a means to validate an architecture for time aware systems
    • Khodakaram Salimifard, Seyed Yaghoub Hosseini and Mohammad Sadegh Moradi
      Improving Emergency Department Processes Using Colored Petri Nets

    18:00 Closing for the day

    Tuesday, June 25th

    09:00 - 10:20 Talks:

    • Rachid Hadjidj and Hanifa Boucheneb
      RT-Studio: A tool for modular design and analysis of realtime systems using Interpreted Time Petri Nets
    • Thomas Chatain and Stefan Haar
      A Canonical Contraction for Safe Petri Nets
    • Xiaoqing Jin, Yousra Lembachar and Gianfranco Ciardo
      Symbolic verification of ECA rules

    10:20 - 11:00 Coffee Break

    11:00 - 12:30 Talks:

    • Lawrence Cabac, Tobias Betz, Michael Duvigneau, Thomas Wagner and Matthias Wester-Ebbinghaus
      Integrating Web Services in Petri Net-based Agent Applications
    • Vladimir A. Bashkin and Irina A. Lomazova
      Soundness of Workflow Nets with an Unbounded Resource is Decidable
    • Luca Bernardinello, Gorkem Kılınc, Elisabetta Mangioni and Lucia Pomello
      Modeling Distributed Private Key Generation by Composing Petri Nets

    12:30 - 14:00 Lunch

    14:00 - 15:00 Invited Talk PNSE'13:

    • Andrea Omicini and Stefano Mariani
      Coordination for Situated MAS: Towards an Event-driven Architecture

    15:00 - 15:20 Talk:

    • Lawrence Cabac and Michael Simon
      Introducing Catch Arcs to Java Reference Nets

    15:20 - 16:00 Coffee Break

    16:00 - 17:20 Talks:

    • Belhassen Mazigh and Kais Ben Fadhel
      A system Performance in presence of faults Modeling Framework using AADL and GSPNs
    • Christine Choppy, Laure Petrucci and Alfred Sanogo
      Coloured Petri Nets Refinements
    • Dennis Schunselaar, Eric Verbeek, Wil Van Der Aalst and Hajo A. Reijers
      A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets
    • Eric Verbeek and Wil van der Aalst
      Decomposing Replay Problems: A Case Study

    17:20 - 17:30 Closing

    17:30 End of the Workshops




    Program committee



    Registration & Accommodation

    Please register for the ModBE'13 workshop at the Petri Nets 2013 Registration site.
    Information about how to reach the workshop / conference site and about hotels can be found at the Petri Nets 2013 Travel pages.

    Proceedings

    The workshop proceedings for ModBE'13 will be available online at

    CEUR-WS.org as one volume.


    Submissions

    (The call for papers is also available as [TXT] document.)
    The program committee invites submissions of full contributions (up to 20 pages) or short contributions (up to 5 pages). Ongoing work (up to 2 pages) can also be presented in a special poster session.
    Please note that for full contributions up to 15 pages are recommended if the paper should be considered for the journal publication.
    Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (see http://www.springer.de/comp/lncs/authors.html). Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission in PDF format please use the online conference management system at
    http://www.easychair.org/conferences/?conf=modbe13

    Login or create a new account and then upload your paper. Later you will be able to see your reviews there.
    The papers will be peer reviewed by at least three members of the PC. Accepted contributions will be included in the workshop proceedings, which will be published online.
    In case of any problems please contact us by email at modbe13_at_informatik_dot_uni-hamburg_dot_de.


    Some of the best papers from the workshop will be invited for publication in a volume of the journal sub-line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and will go through a new round of reviewing, as standard practice for journal papers.

    For further information on ModBE'13 contact the program committee by email at
    ModBE13_at_informatik_dot_uni-hamburg_dot_de
    Daniel Moldt
    http://www2.informatik.uni-hamburg.de/tgi/events/modbe13/
    Impressum