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:
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.