First Workshop on High-Level Petri Nets and Distributed Systems

Hamburg, Germany, March 14-16, 2005


From CPN towards BPEL
Kristian Bisgaard Lassen (PhD student - Aarhus)
Abstract: My talk will be on a project which the CPN group in Aarhus and a company called Bankdata have been involved for the last six month. The project involved an application of the method 'Executable Use Case' to establish consensus between system engineers and bank advisers on how the workflow of a blanc loan is done. The workflow will be implemented in IBM WebSphere by Bankdata. In IBM WebSphere the workflow is defined in BPEL (Business Process Execution Language). I will look at methods to go from a CPN model towards a BPEL program.

Gateway-based Home Integration: Challenges and Solutions
Jonas Thomsen (PhD student - Aarhus)
Abstract: Integration of devices and appliances in homes is an emerging area. This gives rise to a number of challenges, e.g. where to place decisional logic, how to describe devices capabilities without settling for the least common agreement, how to make the home robust for device failures, and what the benefits of integration the home is. My work focuses on a centralized architecture with a residential gateway as the controlling logic. In this talk I will describes the gateway-based architecture, and outline some of the major challenges by this architecture. Furthermore I will try to give my ideas for overcoming these challenges.

State-space analysis
Michael Westergaard (PhD student - Aarhus)
Abstract: The current state-space analysis tool of Design/CPN and CPN Tools is growing old and unmaintainable. In my talk, I will outline the structure of a new state-space tool, which makes not only analysis easy, but also allows easy experimentation with new reduction methods.

Animation of CPN Models
Michael Westergaard (PhD student - Aarhus)
Abstract: In this session, we will present a library for adding graphics and animation to simulations and state spaces in CPN Tools. The following topics will be discussed:

Indoor Positioning of DECT Phones
Mikkel Baun KjŠrgaard (PhD student - Aarhus)
Abstract: Wireless telephones are often used in office buildings, warehouses, hospitals, and prisons. In these settings it is often necessary to be able to quickly locate people or equipment, for example to find the closest doctor and the mobile x-ray equipment in an emergency situation, or to locate a prison guard who has been attacked. Using the technology available in wireless telephone systems it is possible to calculate the position of wireless handsets. In this talk, I will discuss some of the challenges of developing a DECT-based positioning system as compared to similar positioning systems for GSM or WiFi. I will also discuss the status of an on-going project in which we are developing a positioning system based on DECT technology.

New features in CPN Tools
Anders Hessellund Jensen and Lea Troels M°ller Pedersen (CPN Tools programmers - Aarhus)
Abstract: CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. This session will provide a general introduction to the tool, with particular emphasis on new features of the tool. Some of the new features that will be discussed are: facilities for manually selecting and viewing variable values when transitions occur, support for saving the workspace when closing a net, support for moving declarations, and a fit-to-binder zoom option. Future plans for the tool will also be discussed.

Monitoring Simulations in CPN Tools
Lisa Wells (Post Doc - Aarhus)
Abstract: CPN Tools has advanced support for editing nets, but it has only relatively simple support for controlling and observing simulations. This session will present new monitoring facilities which provide improved support for observing, inspecting, controlling and modifying simulations of a CP-net. So-called monitors can inspect both the states and events of a simulation, and can take appropriate actions based on the observations. With these facilities it will be easy to define net-specific simulation breakpoints, to collect data and calculate performance measures, to run multiple simulations, and to update external graphics.

Genetic Process Mining: Current Status and Challenges
Ana Karla Alves de Medeiros (PhD student - Eindhoven)
Abstract: Process mining aims at retrieving a process model from an event log. The main idea is that the mined model should precisely describe the behavior that is in the log. The current techniques have some limitations when dealing with noisy logs or structural constructs like non-free choice. Our research tries to overcome some of these limitations by using genetic algorithms to mine process models. This talk will present the main findings we have so far and what kind of problems we still have to solve.

Modelling the Case Handling Principle with Colored Petri Nets
Christian Gunther (PhD student - Eindhoven)
Abstract: For processing a large volume of virtually identical processes within a corporation, production workflow is a valuable tool that can help to greatly improve efficiency. However, its inherent lack of flexibility and tunnel-vision design create problems when employed in a more knowledge-intensive environment where workers are very aware of the processes and different cases have to be treated very differently. For such purposes the relatively novel principle of Case Handling promises remedy. This presentation describes a model of Case Handling in terms of Colored Petri Nets.

Modeling Work Distribution Mechanisms Using Colored Petri Nets
Maja Pesic (PhD student - Eindhoven)
Abstract: Workflow Management Systems can be observed through different obstacles: process, data etc. The resource perspective plays important role when considering workflow systems. The importance of flexibility and user satisfaction cannot be underestimated. Workflow management systems do not have a unique work distribution mechanism, and therefore they differ in flexibility that is provided for users. In this project, we do not try to explore what systems do, but how they do it. For the purpose of exploring, testing and analyzing different work distribution mechanisms we developed a number of models in Colored Petri Nets Tools.

Implementation patterns in Colored Petri Nets
Nataliya Mulyar (PhD student - Eindhoven)
Abstract: An objective of the P4PAIS project is to develop a pattern language for process-aware information systems, while incorporating multiple perspectives, i.e. control-flow, data, resources, and application perspectives. Some results have already been achieved in formalizing workflow patterns from the control-flow, data, and resource perspectives in isolation. However, no attempts to formalize patterns, which cover the problem domain where control flow and data flow interplay, have been done yet. CPN allows incorporating data perspective by means of colors on the top of the control-flow perspective, and therefore has been selected as an implementation language. This initiative resulted in a set of implementation patterns in CPN, which are mainly oriented to support model developers, working with CPN Tools, with sound solutions for problems frequently recurring during modeling.

Modelling a product driven workflow system in CPN Tools
Irene Vanderfeesten (PhD student - Eindhoven)
Abstract: Product Based Workflow Design (PBWD) theory is a new approach to workflow process (re)design. This theory takes the workflow product as the central concept (in stead of the worfkflow process) and provides a tree structure of information processing within the workflow process (product data model). In my presentation I will show the prototype I developed in CPN Tools for "experimenting" with the step-by-step calculation and processing of data in a workflow process. The goal of this prototype is to provide insight in the way PBWD works.

Analysis and improvement of resource-constrained processes with CPN
Mariska Netjes (PhD student - Eindhoven)
Abstract: Formal models of business processes support the performance analysis of processes and the evaluation of redesign alternatives. In my talk I present a CPN model to simulate the behaviour in resource-constrained processes. In the CPN model simulation and measurement functionality, a generic resource module and a representation for a task are modeled.

Protos: Simulation made accessible
Eric Verbeek (Scientific programmer - Eindhoven)
Abstract: Many consider simulation to be a highly specialist activity: it is difficult to undertake and is even more difficult to understand its outcomes. The new version of the business process modeling tool Protos attempts to more closely integrate modeling and simulation facilities into one tool. The assumed benefit is that business professionals may more easily undertake simulation experiments when they are enabled with the same tool to extend their existing process models to carry out simulation experiments. This presentation explains how CPN Tools could be integrated into Protos. It also explains the extended user interface of Protos and the simulation reports it generates.

Algebraic Petri nets for Web service composition
Jan Ortmann (PhD student - Hamburg)
Abstract: The talk will be about dynamic Web service composition based on Petri nets. Particularly in the field of Web Services, adaptive workflows are of great interest allowing for dynamic service discovery and execution. The talk will give some ideas to what extent algebraic Petri nets together with order sorted algebras might be used to model and compose Web services.

Settler Demo
Lawrence Cabac, Michael Duvigneau, Michael K÷hler, Kolja Lehmann, Daniel Moldt, Sven Offermann, Jan Ortmann, Christine Reese, Heiko R÷lke, Volker Tell (TGI Hamburg)
Abstract: With the last four years four large student teaching projects have taken place. During these projects our approach to apply Petri nets in agent-oriented software engineering (AOSE) production has been sharpened. Within the projects different techniques, methods and tools as well as their conceptual and technical background have been developed and tried out. In this talk we will explain several of the underlying and hidden ideas, concepts and results of our work.

[PNDS'2005] [TGI] [Computer Science]

Daniel Moldt