International Workshop on Petri Nets and Software Engineering - PNSE'17
Zaragoza, Spain, June 26-27, 2017

For the successful realization of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modeling, validation, and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.

The use of Petri nets (P/T-nets, colored Petri nets and extensions) in the formal process of software engineering, covering modeling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.

Website of the Workshop:   http://www.informatik.uni-hamburg.de/TGI/events/pnse17/      or       http://www.PNSE.de
General Chair: Daniel Moldt, University Hamburg, Germany
Contact e-mail address: PNSE17@Informatik.Uni-Hamburg.de
International Workshop on Modeling and Software Engineering in Business and Industry - MoSEBIn'17
Zaragoza, Spain, June 26, 2017

MERGED EVENT to PNSE'17!

The workshop shall be a forum for those interested in modeling or software engineering, especially of, for and within business and industry environments. Business and industry environments are important and relevant application domains for modeling and software engineering. Both academics and practitioners can contribute and learn from such a meeting. The fundamental interest is to understand modeling within this area and what environments and applications actually demand from modelers and software engineers.

Communication between users and software engineers is based on models, therefore, the transformation from application domain models to computer science is a major task that we want to discuss during the workshop from may perspectives. Furthermore, software engineering for business and industry has to provide solutions that have to fit special needs of the people in these fields. The mutual dependencies, services, requirements, expectations, solutions etc. between software engineers and business people / people from industry shall be discussed during the workshop.

Last but not least the role of modeling within software engineering in general and how to use software engineering for modeling can also be addressed from various perspectives.

Website of the Workshop: http://www.informatik.uni-hamburg.de/TGI/events/mosebin17/

MERGED EVENT to PNSE'17!

Workshop on Algorithms & Theories for the Analysis of Event Data - ATAED2017
Zaragoza, Spain, June 26-27, 2017

The workshop aims to attract papers related to Process Mining, Region Theory and other synthesis techniques. These techniques have in common that "lower level" behavioral descriptions (event logs, partial orders, transition systems, etc.) are used to create "higher level" process models (e.g., various classes of Petri nets, BPMN, or UML activity diagrams).

Website of the Workshop: http://www.fernuni-hagen.de/ataed2017/
General Chair: Robin Bergenthum, FernUniversität in Hagen, Germany
Workshop on Structure Theory of Petri Nets (STRUCTURE)
State of the art and future challenges
Zaragoza, Spain, June 26, 2017

Structure Theory of Petri nets is one of the intrinsic facets to this family of models. Developed from the dawn of Petri nets throughout marking linear invariants or the structural definition of subclasses of nets, today this theory has become a very large and highly specialized domain for many reasons.

The primary purpose of the STRUCTURE Workshop is to present new specialties, new visions of old specialties, and to help, practitioners and researchers, stay abreast in all areas of Structure Theory of Petri Nets or its use in theory and practice. STRUCTURE focuses on integrating and adding understanding/value to the existing results in the literature. This goal is intended to be accomplished by attracting surveys, tutorials, and open problems or challenges on special topics of interest to the communities around Petri Nets and other models of concurrency.

STRUCTURE Workshop does not intend to publish "new" research of Structure Theory of Petri Nets. This is left to the PETRI NETS Conference and other specialized satellite workshops. Instead, STRUCTURE focuses on surveys and tutorials that integrate the existing literature and put its results in context. The main topics are (but are not strictly limited to):

1) Concepts: Structural objects and their computation
2) Structure and behavior: Properties guaranteed by the structure
3) Models defined from the structure: Subclasses of Petri Nets
4) Structure based analysis techniques: Linear Programming, Net Unfoldings, Net Transformation (Reduction), Graph Theory
5) Application domains exploiting structure: Biological Systems, Business Systems, Logistics, etc
6) Structure Theory in other models of Concurrency
7) Future trends and Challenges: Dynamic Structure, Hierarchical Models, Structure based symbolic computations, Integration of time

Website of the Workshop: To be announced
Dates for STRUCTURE,
  • Deadline for Abstracts: May 29
  • Workshop: June 26
General Chairs:
  • Serge Haddad, École Normale Supérieure de Cachan, France
  • Jetty Kleijn, Leiden University, The Netherlands
  • Jörg Desel, Fernuniversität in Hagen, Germany
  • José Manuel Colom, Zaragoza University, Spain
Workshop on Healthcare Management and Patient Safety THrough Modelling and Simulation

CANCELLED EVENT!

Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017

The Model Checking Contest (MCC) is a yearly event that assesses existing verifiction tools for concurrent systems on a set of models (i.e., benchmarks) proposed by the scientific community. All tools are compared on the same benchmarks and using the same computing platform, so that a fair comparison can be made, contrary to most scientific publications, in which different benchmarks are executed on different platforms.

The MCC'2017 is organized in three steps,
Important Dates for MCC'2017 - Call for Models
  • Dec. 15, 2016: publication of the Call for Models
  • Feb. 15, 2017: deadline for model submission
  • Apr. 15, 2017: individual notification of model acceptance/rejection
  • June 1, 2017: on-line publication of the selected MCC'2017 models
  • June 27, 2017: announcement of MCC'2017 results during the Petri Net conference (Zaragoza, Spain)
Committees for MCC'2017 - Call for Models
  • General Chairs
    • Didier Buchs - Univ. Geneva, Switzerland
    • Fabrice Kordon - UPMC, France
  • Model Board
    • Hubert Garavel - Inria/LIG, France
    • Fabrice Kordon - UPMC, France
    • Lom Messan Hillah - Univ. Paris Ouest, France
  • Formula Board
    • Loïg Jezequel - Univ. Nantes, France
    • Emmanuel Paviot-Adet - Univ. Paris 5, France
    • César Rodriguez - Univ. Paris 13, France
Important Dates for MCC'2017 - Call for Tools
  • Dec. 19, 2016: publication of the Call for Tools
  • Jan. 15, 2017: publication of the Tool Submission Kit, which will be made available from http://mcc.lip6.fr/archives/ToolSubmissionKit.tar.gz
  • Jan. 15, 2017: publication of the updated 2017 contest rules at http://mcc.lip6.fr/rules.php
  • Feb. 1, 2017: deadline for tool pre-registration. If you plan to submit a tool to the contest, please fill in the pre-registration form available from http://mcc.lip6.fr/registration.php
  • Apr. 15, 2017: deadline for tool submission
  • Apr. 30, 2017: early feedback to tool submitters, following the preliminary qualification runs, which are performed using a few small instances of the "known" models.
  • June 1st, 2017: more feedback to tool submitters, following the competition runs
  • June 27, 2017: official announcement of MCC'2017 results during the Petri Net conference (Zaragoza, Spain)
Committees for MCC'2017 - Call for Tools
  • General Chairs
    • Didier Buchs - Univ. Geneva, Switzerland
    • Fabrice Kordon - UPMC, France
  • Execution Monitoring Board
    • Francis Hulin-Hubard - CNRS and ENS de Cachan, France
    • Fabrice Kordon - UPMC, France
  • Tool Board
    • Marco Beccuti - Univ. Torino, Italy
    • Monika Heiner - Univ. Cottbus, Germany
    • Jeroen Meijer - Univ. Twente, Netherlands
    • Franck Pommereau - Univ. Evry, France
    • Christian Rohr - Univ. Cottbus, Germany
    • Jiri Srba - Univ. Aalborg, Denmark
Petri Net Course
June 25-27, 2017 - Zaragoza, Spain
The Petri Net Course takes place on Sunday, Monday, Tuesday June 25-27. Organisers are Jörg Desel (FernU. Hagen) and Jetty Kleijn (Leiden U.).

This course offers a thorough introduction to Petri Nets in four half-day modules on Sunday and Monday with on Tuesday a choice from two full-day tutorial module on applications of Petri Nets and/or new developments presented by experts in the area. Each module of the course can be taken separately. In particular, the lectures on Tuesday can be followed as independent tutorials.

Sunday:

  • Basic net classes (J.Desel)

  • Coloured Petri nets I (L.Kristensen)

Monday:

  • Coloured Petri nets II (L.Kristensen)

  • Timed and Stochastic Petri nets (S.Haddad)

Credits

All Petri Net Course modules are open for everyone interested. For the course as a whole, graduate and PhD Students are the intended audience. It is possible to earn credit points (3 ECTS awarded by Leiden University, NL) on basis of successful participation in the Course including: a preparation phase before the Course; examinations for the modules of Sunday and Monday in the form of small exercises or homework; and a written report as an outcome of a project associated with the tutorial chosen for Tuesday,

For the preparation phase, students who have registered for the full course, will receive in advance material containing preliminaries on the philosophy of net theory, basic notions, small examples, typical application areas etc. For the examination of the Sunday/Monday modules, time will be available during the course. The completion of the assignment of the Tuesday module will take place after the Petri Net Course as agreed with the lecturer(s).

Parametric Verification
Advanced Tutorial - Petri Nets 2017
Tuesday, June 27, 2017 - Zaragoza, Spain
Description

Modelling languages such as Petri Nets or Timed Automata allow for designing critical systems and model-checking their expected properties. However, all characteristics of the system under construction may not be known in advance. The nature of such unknown parts is manyfold, e.g.: the designer may have the choice of different components with similar behaviour and different timing constraints ; there can be an a priori unknown number of identical processes present in the system ; some actions can be controlled to be enabled or disabled, have different probabilities of occurring, etc. These situations can be captured by introducing parameters in particular on timings, actions, and probabilities.

In this tutorial, we focus on such parameterised models and their associated analysis techniques. These allow for tuning the actual values of parameters in order to satisfy expected properties. It also provides the designer with a set of adequate choices w.r.t. what the system should achieve.

The tutorial will present the underlying theory, the verification approaches, typical applications, and will put these into practice through hands-on sessions using Imitator, Spatula and Romeo tools.

Lecturers

Étienne André, Didier Lime, Wojciech Penczek, Laure Petrucci

Link to the IMITATOR practicals for the Tutorial

http://www.imitator.fr/tutorials/PN17/

A Tour In Process Mining: From Practice to Algorithmic Challenges
Advanced Tutorial - Petri Nets 2017
Tuesday, June 27, 2017 - Zaragoza, Spain
Description

Data science is the profession of the future, because organizations that are unable to use (big) data in a smart way will not survive. It is not sufficient to focus on data storage and data analysis. The data scientist also needs to relate data to process analysis. Process mining bridges the gap between traditional model-based process analysis (e.g., simulation and other business process management techniques) and data-centric analysis techniques such as machine learning and data mining. Process mining seeks the confrontation between event data (i.e., observed behavior) and process models (hand-made or discovered automatically). This technology has become available only recently, but it can be applied to any type of operational processes (organizations and systems). Example applications include: analyzing treatment processes in hospitals, improving customer service processes in a multinational, understanding the browsing behavior of customers using booking site, analyzing failures of a baggage handling system, and improving the user interface of an X-ray machine. All of these applications have in common that dynamic behavior needs to be related to process models.

Hence, process mining considers the discovery of process models from real process executions. Discovered models may deviate from reality, and therefore a very important functionality in process mining, as important as discovery, is the automatic assestment of the quality of a process model in representing the reality, a discipline known as conformance checking. Taken together, discovery and conformance checking offer a powerful toolbox to organizations for improving their processes.

Process mining provides not only a bridge between data mining and business process management; it also helps to address the classical divide between "business" and "IT". Evidence-based business process management based on process mining helps to create a common ground for business process improvement and information systems development.

In the research community related to the topics of the Petri Nets conference, process mining can be the killer application for many other disciplines such as formal methods, concurrency and distributed systems. In particular, the use of Petri nets has grown considerably due being the most popular representation for process mining algorithms.

The motivation of this tutorial is to provide an introductory tour to the field, and then the necessary background and practice so that an attendant can understand the current challenges the field of process mining is facing nowadays. Unlike some of the current textbooks or online courses for process mining, the tutorial will pay special attention to the conformance checking dimension, where some interesting challenges can be addressed.

 

Authors

Wil van der Aalst - Eindhoven University of Technology, The Netherlands
Josep Carmona - Universitat Politècnica de Catalunya, Barcelona, Spain
Thomas Chatain - LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan, France
Boudewijn van Dongen - Eindhoven University of Technology, The Netherlands

Outline

This tutorial will consists of four modules.

  • Module I: A Practical Introduction to Process Mining (1h) - Introduction to process mining with demos of commercial tools (highlighting the incredible relevance and the limitations of existing tools).
  • Module II: Discovering Process Models (2h) - Process discovery with inductive mining as an example of scalable discovery technique. Process discovery with region-based approaches.
  • Module III: Evidence-based Quality Metrics for Process Models (1.5h) - Current metrics for measuring the quality of process models with respect to observed behavior. Limitations of some of the discovery approaches.
  • Module IV: The Challenge of Alignments (2h) - Complexity issues for relating observed and modeled behavior. Formal definition of alignments. Selected techniques for the computation of alignments. Alignments applications.

Material

Each module of the course will consist of:

  • Slides to support the contents considered in the module.
  • Material for practicing the contents of the module.
  • Tools required to accomplish the practice.

Audience

The target audience includes research students as well as researchers. The tutorial is suitable for computer scientists and engineers familiar with basic process modelling approaches. For the case of the last module, the tutorial illustrates in depth the current algorithmic challenges, thus it might be of special interest to those looking for new challenges to their theoretical background.