<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Improving a Workflow Management System with an Agent Flavour</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Daniel Moldt</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>José Quenum</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Christine Reese</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Thomas Wagner</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>University of Hamburg, Faculty of Mathematics</institution>
          ,
          <addr-line>Informatics and Natural Sciences</addr-line>
          ,
          <institution>Department of Informatics</institution>
        </aff>
      </contrib-group>
      <fpage>301</fpage>
      <lpage>316</lpage>
      <abstract>
        <p>This paper discusses an application of software agents to improve workflow management systems, with a practical emphasis on Petri net-based systems. The properties of agent technolog y will be used to gain advantages within the workflow management systems on both a conceptual and practical level. In this paper we discuss the theoretical background of our work, the conceptual idea and approach and one possible practical implementation. As a central practical means we use reference nets, a high-level Petri net formalism. These net s are used to model both agents and workflows, which results in a clean and natural integration of both technologies.</p>
      </abstract>
      <kwd-group>
        <kwd>High-level Petri nets</kwd>
        <kwd>workflow management systems</kwd>
        <kwd>multi-agent systems</kwd>
        <kwd>software architecture</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        Workflows and Workflow management systems (WFMS) have been very
attractive research topics in the last decades [
        <xref ref-type="bibr" rid="ref13 ref16 ref18">13, 18, 16</xref>
        ]. They provide means to further
understand, unambiguously specify and analyse business processes within
organisations. According to the state of the art, several heterogeneous WFMS can be
combined to perform a specific complex task that cuts across various
organisations. While such a combination is currently possible in an ad hoc manner, a
more systematic approach demands greater care both from the modelling and
implementation perspectives. In this research, we set out to address this
limitation. This paper discusses the conceptual approach to achieve the overall goal.
      </p>
      <p>Among the rising software paradigms, the concept of agent is a preeminent
one. In the last decade, agents have been touted as a most appropriate paradigm
to support the design and implementation of decentralised and distributed
applications/systems, which yield intelligent behaviour and require a great deal of
interoperability. A decentralised application implies an application which consists
of autonomous entities. Clearly, these are among the properties one seeks while
developing an approach for interorganizational workflows. Therefore, agents can
contribute a great deal in our quest for a systematic approach for
interorganizational workflows.</p>
      <p>Using agents to design and implement distributed applications across a
network is not new in itself. However, the autonomy of the various subparts is
not well captured in the overall collaboration. As such, approaches of this kind
cannot be generalised for the design and implementation of collaborative
applications across various organisations. Concepts such as workflows, which render
a clear view of business processes within organisations need to come into play.</p>
      <p>Introducing agents in WFMS is not counterintuitive. By virtue of being
autonomous, sociable and intelligent, human agents and artificial ones share many
similarities. Moreover, human agents’ operational mode ca n be viewed as a set
of independent yet interoperable entities. From that angle, a human agent can
be viewed as an agent system. Finally, since human agents have to coordinate
the various tasks they are involved in at a certain point in time, they can be
regarded as a WFMS. We take this human analogy, especially its duality, to
show that both, agents and workflows, can be joined in a complex system.</p>
      <p>As discussed in the foregoing, WFMS can benefit from agents in various
regards. In this paper, we discuss seven points where agents help enhance the
level of management in interorganizational workflows. These include
distribution, autonomy, interoperability and intelligence. In order to make the resulting
approach appealing to new technologies, we structure our assumptions and ideas
into a reference architecture, which we believe lays the foundation for more
specific and advanced architectures to support collaboration within and between
organisations. We do not claim that our current implementation is as powerful
as the existing commercial tools. However, thanks to the Petri nets formalism,
our implementation holds the potential to properly handle concurrency,
robustness and resilience in the future.</p>
      <p>
        The contributions discussed in this paper are a clearer articulation of ideas
and intuitions presented in [
        <xref ref-type="bibr" rid="ref20 ref21 ref22">20–22</xref>
        ]. More than all these pap ers, we elaborate on
the underpinnings of the conceptual role agents can play in the new approach.
Finally, we discuss the implementations.
      </p>
      <p>The remainder of the paper comes as follows. Section 2 describes the technical
and theoretical background of our work. Section 3 gives an overview of our
overall architecture. Section 4 examines the conceptual view of our approach,
while Section 5 discusses one implementation of our approach. Finally, Section 6
draws conclusions and directions for the future.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Frameworks &amp; Formalisms</title>
      <p>
        In this research, MASs are designed following Mulan’s ( MULti- Agent Nets)
structure [
        <xref ref-type="bibr" rid="ref11 ref23">11, 23</xref>
        ]. Mulan has been extended with Capa (Concurrent Agent
Platform Architecture) in order to comply with Fipa’s ( Foundation for
Intelligent and Physical Agent (see http://fipa.org)) (communication) standards
to support concurrent execution [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. Mulan and Capa describe the various
components of a MAS using reference nets, which can be executed using the
Renew (REference NEts Workshop (see http://www.renew.de)) tool. The reader
should thus note that not only do we offer a formal ground to reason about the
behaviours of agents, but we also provide an execution environment for MAS.
      </p>
      <p>
        Inspired from the nets within nets concept introduced by Valk [
        <xref ref-type="bibr" rid="ref25">25</xref>
        ], Mulans’
structure is a four-layer architecture used to describe a MA S. These layers
respectively describe the overall MAS, the agent platforms, the agents and their
behaviour, the protocols. Every layer within Mulan’s reference architecture is
modelled using reference nets, a high level Petri net formalism which will be
discussed later.
      </p>
      <p>In order to adhere to Fipas’ standards, and especially the communication
mechanisms, Mulan has been extended with Capa. In so doing, Capa agents
can easily interact with any type of Fipa compliant agents.</p>
      <p>
        Each of the key concepts in this paper, agent and MAS on the one hand and
workflows on the other hand, is represented using a Petri net formalism. Agents
and MAS are represented using reference nets, while workflows and WFMSs
are represented using workflow nets implemented as a special kind of reference
nets. Reference nets have been introduced in [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ]. They follow the philosophy of
nets within nets. Reference nets use Java as an inscription language, manipulate
various types of data structures, and like many other types of high-level Petri net
formalisms, offer several types of arcs. Finally they use synchronous channels to
synchronise with other nets or Java objects. The treatment of Java objects and
net instances is transparent, so that both kinds of artefacts can be exchanged
arbitrarily. The workflow nets used in our systems are based on principles of
workflow nets introduced in [
        <xref ref-type="bibr" rid="ref26">26</xref>
        ]. They are implemented as reference nets and
make use of a special task transition introduced in [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. Moreover, in the Petri net
community, tool support is a general trend. Therefore, the Renew tool has been
developed to support quick prototyping of systems or parts of systems using the
reference net formalism. Renew provides an editor to specify and draw the nets
as well as a simulation engine to test and validate them.
3
      </p>
    </sec>
    <sec id="sec-3">
      <title>Overall architecture</title>
      <p>
        The results we present in this paper are part of a larger ongoing effort. The
systems described in the next sections can be classified within the overall
architecture described in [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ]. The goal of this architecture is to integrate agent and
workflow technologies. The architecture consists of five tiers, built on top of each
other. Each tier itself is a layered architecture, which combines various aspects
of both technologies. Starting from either a pure workflow or agent system, the
architecture gradually evolves into a novel integrated unit system, which equally
benefits from both original concepts. The main motivation in building this
architecture lies in the shortcomings of each individual concept as is discussed in
detail in [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ] and [
        <xref ref-type="bibr" rid="ref28">28</xref>
        ]. In short, agent technology struggles with offering a clear
behavioural view of large distributed systems, but can describe the structure
of such a system in a natural way. Workflow technology can easily describe the
behavioural view of a complex system, but struggles with the structural view.
In combining both technologies we can integrate the views offered by both into
one new system which supports both a clean structural and behavioural view. It
should be explained that the notion of tiers in this architecture denotes a kind
of step-by-step refinement/enhancement on the way to the ove rall goal of
integration. The tiers can be viewed as the layers of the overall abstract architecture
but they do not correspond to layers within a concrete architecture. Each tier
modifies the structure of its own layered architecture compared to the previous
tier and in doing so enables new or improved aspects to be used. We will now
shortly discuss the five tiers of the architecture.
      </p>
      <p>
        First Tier The first tier is our starting solution to address the limitations of both
technologies. It involves either a pure agent management system (AgMS) or a
WFMS. Such systems exclusively use workflow or agent technology to provide
their functionality. This means that there is almost no integration between the
two. Because of this, the architectural view of this tier (see Figure 1) offers only
two layers. The bottom depicts the adopted management system (either agent or
workflow), on top of which an application lies. Examples of systems, which can
be classified into this tier, are Mulan and Capa on the agent side and WFMS
like ADEPT (see [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]) or WIFAi (see [
        <xref ref-type="bibr" rid="ref24">24</xref>
        ]) on the workflow side.
      </p>
      <p>Second Tier In the second tier, one of the paradigms is used to realise the other.
In other words, we use agents to design a WFMS, and vice versa. Because of this,
there are two variants of the second tier (agents in the background or workflows
in the background). The architectural view of this tier (see Figure 2) offers three
layers. The topmost layer still represents an application but between the bottom
management system and the application an intermediate layer has been added.
This layer implements a management system for the alternative concept using
the functionality of the bottom layer. For example, if the bottom layer is an
AgMS, then the intermediate layer is a WFMS based on agents. The application
layer of this tier uses only the concept provided by the intermediate layer.</p>
      <p>Building on the first tier the second tier can be achieved by designing the
application within the first tier to be the required management system. On top
of that management system another application can then be built, turning the
application layer of the first tier into the intermediate layer of the second tier.</p>
      <p>Compared to the first tier, the advantage is that one can perceive an
integration of the concepts. However, the available constructs only affect the
background instead of being directly available in the application layer. For example,
distribution, interoperability, etc. are facilitated in WFMS using agents.</p>
      <p>
        In the remainder of this paper, the higher level tiers will only be based on
the variation using agents in the background, i.e. the one including an AgMS,
an agent-based WMFS (AgWFMS) and an application. Examples f or these kind
of systems are detailed in [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ], [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] and [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ].
      </p>
      <p>Third Tier The third tier greatly enhances the application development by
employing both agents and workflows. This results in an arbitrary degree of
integration between agents and workflows. In addition to the interface between the
application and intermediate layer, this tier allows direct access from the
application layer to the bottom management system. In practice, the application
can thus use both the interfaces offered by the core AgMS and the AgWFMS.
Consequently, the key functionality of the AgMS is then combined with that
of the AgWFMS. The architectural view of this tier (see Figure 3) only adds a
direct connection between the application and the bottom layer, compared to
the second tier. While this additional connection is a clear advantage over the
previous tier by expanding potential and flexibility, it suffers from a major
limitation. The resulting system is completely unstructured, i.e., the relation and
integration between agent and workflow needs to be potentially re-invented for
each application. Consequently it becomes very difficult to harness the power of
this tier, especially the efficient design of complex systems. In order to reach a
structured integration of both concepts within the architecture, we need to take
one step back and limit the immense possibilities offered by this tier.
Fourth Tier The fourth tier adds an integration layer to the architecture, which is
responsible for restricting the possibilities of the third tier in order to provide an
explicit structure for the application developed on it (see Figure 4). Through this
integration both technologies are used in the background and the relationship
between agents and workflows is pre-defined. However, only one perspective is
supported when modelling on the application layer. In this way it provides an
abstraction and thus a higher level of modelling.</p>
      <p>In order to achieve the desired explicit structure, this tier basically reduces
the functionality offered to the application layer compared to the third tier. It
refocuses on either agents or workflows as the exclusive main abstraction for
application development. There are once again two distinct variations of this
tier, one offering agents to the application (called workflowagents; left hand side
of Figure 4), the other one offering workflows (called agentworkflows; right hand
side of Figure 4). The integration layer provides exclusively WFMS or AgMS
functionality, but uses both technologies in the background. This means that an
agent application possesses parts and aspects of workflows and vice versa (in the
other variation). In this way the possibilities of this tier are, opposed to the third
tier, restricted, because we refocus on just one technology. But by doing this,
we gain a much more powerful means of supporting one of the two technologies.
The integration of both variations will take place in the fifth tier. For now we
need both variations in order to create the desired structure within the relation
between agents and workflows in both directions separately.</p>
      <p>It is worth noting that, even though we are looking at either workflows or
agents at the top layer again, the main difference between this tier and the
second tier is that we no longer have one concept realising the other. Rather,
we obtain a successful combination of both, i.e., agents and workflows working
side by side and benefiting from each other. The agentworkflow variation of this
tier is the main focus of this paper and will be discussed in detail in the main
sections.</p>
      <p>
        Fifth Tier This tier introduces the concept of unit, an abstraction to any entity
involved in the design of the system. Units offer both the facets of agents and
workflows. In order to achieve this, the AgMS and WFMS have to be integrated
and combined. This results in a novel type of management system, a unit
management system (UMS). The architecture of this tier can be seen in Figure 5. The
integration layer of the fourth tier has been split into two parts, of which UMS
represents the upper part. Since one can no longer clearly differentiate between
agents and workflows, the application layer is simply called unit application, also
referred to as agent/workflow applications in [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ]. In merging both agent and
workflow concepts into a single unit concept, both the structural view (from the
MAS) and the behavioural one (from the workflows) are available. Note that
both these views are available during runtime and design time.
4
      </p>
    </sec>
    <sec id="sec-4">
      <title>Conceptual View</title>
      <p>In this section we will discuss our conceptual approach to improving workflow
management with agent technology. As stated before our goal is to use aspects of
software agents to benefit the execution and management of workflow instances.
Because we use agents to improve workflows we generally refer to this approach
as agentworkflows. We reason that common properties of agents, like mobility,
autonomy and proactivity, and especially the encapsulation of workflow instances
through agents can greatly benefit workflow execution. Having agents in general
handle aspects of workflow management can also help distribute the execution
in order to spare less powerful resources.</p>
      <p>As mentioned before this particular work is just part of a larger effort to
integrate workflow and agent technologies in order to achieve a novel approach
that combines the advantages of both technologies. The work presented in this
paper focuses on the fourth tier of the overall architecture (see Section 3). We
discuss the variation of the fourth tier, in which the integration layer offers a
WFMS to the application layer. This WFMS strongly relies on the functionality
of the AgMS in the background in order to provide its own functionality. This
means that the workflows offered to the application possess some properties
gained from the agents. How this can be achieved will be discussed in this section,
as well as the advantages and disadvantages of this approach,.</p>
      <p>
        One of the core ideas behind our approach is to encapsulate workflow
instances through autonomous software agents. With this it is possible to transfer
properties of that software agent directly to the workflow instance. In other
words the clear separation between agent and workflow begins to diminish. This
is a key concept of the overall architecture and is important for the fifth tier.
Another important aspect of our approach is to also consider other entities of the
workflow management system as agents. Having the general functionality of the
WFMS be provided by agents is already part of an AgWFMS of the second tier.
In our approach agents can be used to realise any of the elements (e.g., tasks,
users, resources, etc.) of the workflow as well. In [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ] for example, we used agents
to realise activities. Thanks to the agent technology, the resulting WFMS does
not only focus on the behaviour of the system, as was the case in the previous
tiers of the overall architecture, it also emphasises the structure of the system.
This paper focusses on the aspect of encapsulating workflow instances through
agents. Other aspects are considered but will not be discussed in great detail.
      </p>
      <p>We will now examine some of the principal and conceptual areas and aspects
in which workflows can benefit from agents. The following points will directly
cover some agent properties and their particular benefits but will also include
some general observations.</p>
      <p>Encapsulation In general the encapsulation of one or more workflow instances
through agents can be seen as a prerequisite to opening up many of the
possibilities offered by the agent-oriented paradigm. With out this concept
it would be hard or impossible to transfer other agent properties over to
the workflows. Nonetheless the encapsulation also benefits the workflows in
more ways than that. For example the encapsulation provides the workflows
with an even clearer identity within the overall system since they can now
be identified in the same way as the other elements (agents) of the system.
This makes it easier to monitor, observe and analyse the system, which in
turn makes maintenance and improvement more efficient. A disadvantage of
the encapsulation is that the number of agents active is possibly, drastically
increased, depending on how the encapsulation is handled. This may pose
problems on less powerful systems, which simply cannot handle this number
of agents or the communication between them. However, since agent
architectures are generally built to efficiently handle communication, this should
not pose a real problem in practical use.</p>
      <p>Mobility By allowing workflows to gain agent mobility they benefit in a
variety of possibilities. In the context of software agents mobility describes the
capability of a software agent to discontinue its execution within one
execution environment (agent platform), migrate to another environment and
continue the execution there starting off from its previous state. For
agentworkflows this means that the execution of a workflow can be discontinued
on one instance of an executing WFMS and continued on another WFMS.
Practically this can be used if certain resources needed for the execution of
a workflow are not available on every platform. This can include particular
(groups of) users or certain, possibly critical data. Another use case for this
property is to have a workflow instance migrate not because certain resources
are needed, but because its home platform is beginning shutdown or because
another platform carries less of a load then the home platform. This use of
mobility can lead to improved flexibility, efficiency and fault tolerance.
Autonomy One of the key concepts of the agent paradigm is that agents are
autonomous entities. This means that, to a certain degree, they are
independent of their environment and can choose for themselves whether to execute
an action or not. In the context of agentworkflows this property can be used
in a number of ways. It can for example be used as a kind of access control
to critical data for which an agent is responsible. This can be a workflow
instance but also other entities like activities or the handling of users. Another
use of this becomes relevant if combined with mobility. An agent migrating
to another platform to access certain data or perform certain actions can do
this relatively independent from the other agents and software constructs of
that platform, if, of course, it has all the necessary permissions.
Intelligence Intelligence in software agents can be used to describe a multitude
of aspects. One major aspect is the ability of certain agents to proactively
decide by themselves which actions to take. In the context of workflow
management this can be used to predetermine which users should be offered
certain tasks, taking variables like workload into consideration. At this point
reactivity of agents also comes into play. Software agents can react to events
in their environment and adapt according to the situation. For example if
there is an error during the execution of a task the agent could observe this
and retry the action with changed parameters. Another very interesting
aspect where intelligence, proactivity, reactivity and adaptiveness can be used
is the adaptivity of workflow instances. Changing workflow instances and
even entire workflow definitions according to changed circumstances
(current or permanent) improves the flexibility and versatility of a WFMS and
can be handled in a natural way using agent intelligence.</p>
      <p>Distribution The agent oriented paradigm naturally supports the design of
distributed software systems. The main reasons for this are the asynchronous
message communication and the autonomy of the individual agents. By
relying on agents as the main building blocks of a WFMS it is easy to use
these predispositions for the distribution of the system. The
communication of different parts of the system can be handled through asynchronous
messages, which are flexible and versatile. Extending on this idea opens up
even more possibilities of using distribution to the advantage of workflows.
Interorganizational workflows can benefit from a distributed WFMS, so that
their critical information is not stored in some centralised location.
Interoperability The Fipa communication standards are accepted by many
widely-used agent frameworks. Adhering to these standards guarantees
interoperability between the different involved software systems, independent
of agent architecture or framework. This can be translated into workflow
management based on agents as well. In this case different WFMS of
different providers can work together, as long as they can process the data
structures that are exchanged. This aspect is especially important in the
context of interorganizational workflows since it allows some freedom for the
choice of the different WFMS in the different companies. But also in general
use cases interoperability can be used to an advantage. A Fipa-compliant
WFMS can request data from any other Fipa-compliant system, which
improves the possibilities of the WFMS. Another aspect which is related to
this and distribution, is the openness of the system. Through interoperability
and distribution it is possible to create flexible and dynamic open systems
to which different WFMS can connect to, complete some tasks, and then
disconnect again. Open systems can provide users with functionality that is
otherwise difficult to obtain without specialised software solutions.
Structure This point is related to the motivation behind our overall
architecture. As described, we reason that workflow systems have trouble adequately
describing the structure of the system they are modelling, while focussing
on the behaviour. Agent systems on the other hand possess a strong focus
on this structure. By joining the two in the ways described in this paper
we begin to combine this structural view given by the agents with the
behavioural view of the workflows. This is mostly related to the encapsulation
aspect discussed above, but contains a more abstract view. By relying on
agents one can easily describe the current state of an entity including its
current location (in regards to distribution), knowledge and behaviour. By
adapting this for workflow instances it can already help provide the
structural view needed within a distributed system. If the agentworkflow idea is
taken even further and every aspect of the system modelled through agents
the structural view becomes even more useful. The location (in regards to
distribution) of every resource, user and workflow can be determined and
displayed in a way that helps monitoring and maintaining the system.</p>
      <p>It should be noted that all these properties only unfold their full
potential if used in combination. Every one of these properties and aspects possesses
some benefits but together with the others new and improved possibilities can be
achieved. For example using mobile agents in a distributed environment of many
interoperable agent platforms is more advantageous then forcing the same agent
system onto all involved partners. Equally an autonomous, intelligent agent can
decide for itself if a migration is reasonable or not and initiate the action
accordingly. Using these properties together also strongly improves interorganizational
workflow management and execution. While interoperability and distribution
already favour this field, the other properties are also useful, especially in
collaboration. For example mobility allows for the transmission of data in a natural
way, while encapsulation allows for the clear separation of critical data.</p>
      <p>The main disadvantage of our approach is that the realisation and handling
of these improved workflows are more complex than handling regular workflows.
The reason for this is mainly that the new and improved possibilities will be
difficult to harness. It can, if used in the wrong way, affect execution in a negative
way or even, in the worst case, prohibit correct execution at all. However, if
used correctly and efficiently, they offer clear, distinct advantages to workflow
execution in general. They offer novel ways of modelling many parts of workflows
and can increase efficiency in use.</p>
      <p>After discussing the conceptual view in this section we have shown that our
approach offers many advantages, but is difficult to realise and handle. For the
realisation part we have chosen technologies based on Petri nets. One problem of
the conceptual approach is that different kinds of entities (agents and workflows)
have to be combined. By choosing Petri nets as a common basis we can partially
circumvent this problem, since it is easier to combine the two kinds of entities
when they possess the same basis at the lowest level. On the other hand this
choice has the problem of not being widely spread and available. However, certain
aspects, like concurrency and displaying behaviour, are very easy to model using
Petri nets. In the next section we will discuss one prototypical implementation
of our conceptual approach using Petri nets, which already covers some of the
properties described in this section.</p>
    </sec>
    <sec id="sec-5">
      <title>5 Implementation</title>
      <p>
        In this section we will discuss a prototypical implementation of our
agentworkflow approach. As mentioned before we use Petri net based technologies to
achieve a common basis for the integration and combination of workflow and
agent technologies. In particular we use Mulan and Capa for our agents and
workflow nets for our workflow functionality (see Section 2). The starting point
of the practical work is an AgWFMS of the second tier of the overall
architecture. This AgWFMS has been described in detail in [
        <xref ref-type="bibr" rid="ref27">27</xref>
        ]. It relies solely on agents
to provide the functionality but does not mix the agent and workflow concepts
enough to be considered an agentworkflow system.
      </p>
      <p>Before going into the details of the implementation we will shortly discuss
how the different properties observed in the conceptual section can be mapped
onto Petri nets. Since discussing these aspects in a reasonable extent would go
beyond the scope of this paper and since extensive work on this has already been
performed and published we will limit this to referring to other contributions.</p>
      <p>
        The mobility aspect has been extensively studied, especially in the context of
nets within nets, for example in [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] and [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]. The autonomy and intelligence
of Petri net agents have been discussed in the context of Mulan in [
        <xref ref-type="bibr" rid="ref23">23</xref>
        ]. The
encapsulation aspect has been examined for object-oriente d nets in [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ].
Interoperability and openness have been explored in [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ]. The final aspect, the structural
view of combining agents and workflows, was discussed in [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ].
      </p>
      <p>
        The practical approach, called structure-agentworkflow (S -AgWf), extends
the regular AgWFMS (now called AgWFMS*) to allow for the definition and
execution of distributed workflow instances. More precisely, the workflow
instances are now hierarchical workflows with nested subprocesses as defined by
the WfMC (see [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]).As a consequence the entire system consists of a number of
Capa platforms, which all execute instances of the extended AgWFMS* and are
working together. The different AgWFMS* instances are known to one another
and messages can be exchanged between them. A more detailed description of
the S-AgWf approach can be found in [
        <xref ref-type="bibr" rid="ref28">28</xref>
        ].
      </p>
      <p>The basic principle of the S-AgWf can be seen in Figure 6. One a gent
encapsulates one workflow instance. This agent, called structure-agent, possesses an
internal workflow, the structure-workflow. When the structu re-agent for a new
workflow instance is started, it receives the definition of the structure-workflow
from the database agents of the AgWFMS* and instantiates the workflow net.
When this initialisation is finished, the execution of the structure-workflow
automatically begins. The tasks of the structure-workflow c orrespond to
subworkflows. Sub-workflows can only be executed on certain AgWF MS* instances
within the overall system. The information about which AgWFMS* instance
is suitable is stored within the data of the task and can be extracted by the
structure-agent. Whenever a task becomes active, the struc ture-agent assigns
itself as the executor of that task. Once this is done the structure-agent queries a
special agent of his own platform for a list of all the known AgWFMS* instances
currently active. It then compares this list to the information extracted from
the task and chooses a suitable AgWFMS* instance. The interface-agent of the
chosen instance is then contacted by the structure-agent. T he structure-agent
asks the interface-agent to instantiate the subworkflow loc ally and transmits all
relevant parameters, like input data etc. The subworkflow is then executed like
any other workflow in the regular AgWFMS. Once it has reached the end of its
execution the responsible structure-agent is informed and any (optional) results
are sent back. The results are transmitted into the structure-workflow net and
the structure-agent completes the task, so that the executi on can continue. The
execution of tasks and subsequent instantiation and execution of sub-workflows
is continued, until the end of the structure-workflow is reac hed. The initiator of
the overall workflow is then informed and the structure-agen t can terminate.</p>
      <p>In the example in Figure 6 two sub-workflows are currently exe cuted on
the two different AgWFMS* platforms. The structure-agent re sponsible for the
structure-workflow is communicating with the agents of the t wo AgWFMS*
platforms in order to initiate the execution and receive results. When both
sub-workflows are finished the structure-agent will start a fi nal sub-workflow
(SubWF C ), before it can conclude the execution of the structure-wor kflow.</p>
      <p>This realisation of the agentworkflow concept offers distinct and practical
advantages, but also still suffers from some limitations. The possibility to distribute
the execution of workflows is a huge advantage for the otherwise centralised
AgWFMS. The support of nested subprocesses allows for interorganizational
workflows to be defined and executed. Since the details of the local workflows are
not needed globally, the sub-workflows and any critical data they may contain
are only known to the local parties. This satisfies the need of interorganizational
workflows to secure and conceal confidential and valuable information.</p>
      <p>The main limitation of this particular, specialised implementation of the
agentworkflow concept is its still centralised nature. If the platform of the
structure-agent is disconnected or fails, the entire workfl ow fails. This could
partially be rectified by adding mobility to the structure-a gent. It can then
easily migrate to another platform, if it discovers any changes in its home platform
that might hinder its execution.</p>
      <p>The pre-defined relationship between agents and workflows wi thin this
system combines the structural aspect of agents with the behavioural aspect of
workflows as is the goal in the fourth tier of the overall architecture. The
two concepts agent and workflow begin to merge together, since in this
system a workflow is an agent and partly vice versa. The practical advantages
this particular system gains from this merge mostly consist in a groundwork for
further enhancements. Agent autonomy may for example be used to give the
structure-agent more control over the workflow instance (e. g. choice over where
sub-workflows are executed), which could result in added flex ibility. However the
instances within the S-AgWF system already possess certain degrees of
distribution (structure-agents communicate with other AgWFMS* p latforms in order
to execute their structure-workflow), interoperability (t he structure-agents
exchange FIPA-compliant messages so it is possible to exchang e the AgWFMS*
platforms with other WFMS if they adhere to the interface) and encapsulation
(the structure-workflow is clearly encapsulated by the stru cture-agent).
6</p>
    </sec>
    <sec id="sec-6">
      <title>Conclusion</title>
      <p>In this paper, we made a strong case for a systematic introduction of the agent
concept to enhance the management of workflows. We pointed out key aspects
in which agents improve workflows and their management.</p>
      <p>In our quest to develop a systematic approach to support workflow
management, we proposed a reference architecture, which builds on an integration of
agents and WFMS. The architecture consists of five distinct tiers. These
different tiers gradually show how the agent concept first integrates into WFMS
and then enhances them on the various aspects we discussed above. This effort
culminates in the fifth tier, where both concepts exist alongside each other. As
stated in the foregoing, our overall goal in this research is to achieve a seamless
integration of agents and WFMS. In this paper, we presented an approach which
builds on the agent technology to address WFMS. However, the other variant
of the fourth tier, the workflowagents, needs to be considered as well. In it, the
main abstraction of the application layer are agents, which strongly rely on the
functionality of the WFMS in the background to address the inherent
limitations to an agent-based system. Clearly, following that per spective, a WMFS
could for example bring its systematic and proof-driven app roach to complex
task execution. In the future, we wish to explore that perspective as well.</p>
      <p>From the lessons learned from both approaches, we expect to collect the
amount of information that enables us to design a full-fledge d conceptual
approach which offers the best of both agent and workflow technologies in one
single system, i.e. the fifth tier. Such an approach will balance out the
weaknesses of each technology. With the support of high-level Pe tri nets as a
foundational formalism, we are guaranteed of combining structure and behaviour in
one representation.
Petri Nets &amp; Concurrency { 315</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>Ulrich</given-names>
            <surname>Becker</surname>
          </string-name>
          and
          <string-name>
            <given-names>Daniel</given-names>
            <surname>Moldt</surname>
          </string-name>
          .
          <article-title>Objekt-orientierte Konz epte für gefärbte Petrinetze</article-title>
          . In Gert Scheschonk and Wolfgang Reisig, editors,
          <source>PetriN-etze im Einsatz für Entwurf und Entwicklung von Informationssystemen</source>
          ,
          <source>Informatik Aktuell</source>
          , pages
          <fpage>1401</fpage>
          -
          <lpage>51</lpage>
          , Berlin Heidelberg New York,
          <year>1993</year>
          . Gesellsch aft für Informatik, Springer-Verlag.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2. Lawrence Cabac, Daniel Moldt,
          <article-title>Matthias Wester-Ebbingha us, and Eva Müller. Visual Representation of Mobile Agents - Modeling Mobility within the Prototype MAPA</article-title>
          .
          <source>In Duvigneau and Moldt [5]</source>
          , pages
          <fpage>72</fpage>
          -
          <lpage>8</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>Peter</given-names>
            <surname>Dadam</surname>
          </string-name>
          , Manfred Reichert, Stefanie Rinderle-Ma, Ke vin Göser, Ulrich Kreher, and
          <string-name>
            <given-names>Martin</given-names>
            <surname>Jurisch. Von ADEPT zur AristaFlow BPM Suite - Eine Vision</surname>
          </string-name>
          wird Realität:
          <article-title>"Correctness by Construction" und flexible, robuste Ausführung von Unternehmensprozessen</article-title>
          .
          <source>EMISA Forum</source>
          ,
          <volume>29</volume>
          (
          <issue>1</issue>
          ):
          <fpage>92</fpage>
          -
          <lpage>8</lpage>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>Michael</given-names>
            <surname>Duvigneau</surname>
          </string-name>
          .
          <article-title>Bereitstellung einer Agentenplattform für petrinetzbasierte Agenten</article-title>
          .
          <source>Diploma thesis</source>
          , University of Hamburg, Department of Computer Science, Vogt-Kölln Str. 30,
          <string-name>
            <given-names>D</given-names>
            <surname>-</surname>
          </string-name>
          22527
          <string-name>
            <surname>Hamburg</surname>
          </string-name>
          ,
          <year>December 2002</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>Michael</given-names>
            <surname>Duvigneau</surname>
          </string-name>
          and Daniel Moldt, editors.
          <source>Proceedings of the Fifth International Workshop on Modeling of Objects, Components and Agents, MOCA'09</source>
          ,
          <string-name>
            <surname>Hamburg</surname>
          </string-name>
          , number FBI-HH-B-
          <volume>290</volume>
          /09 in Bericht. University of Hamburg ,
          <year>September 2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>Lars</given-names>
            <surname>Ehrler</surname>
          </string-name>
          , Martin Fleurke, Maryam Purvis, and Bastin Tony Roy Savarimuthu.
          <article-title>Agent-based workflow management systems (WfMSs) - JBees: a d istributed and adaptive WfMS with monitoring and controlling capabilities</article-title>
          .
          <source>Information Systems and EB-usiness Management</source>
          ,
          <volume>4</volume>
          , Number 1 / January,
          <year>2006</year>
          :
          <fpage>52</fpage>
          -
          <lpage>3</lpage>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>Andrea</given-names>
            <surname>Freßmann</surname>
          </string-name>
          , Rainer Maximini, and
          <string-name>
            <given-names>Thomas</given-names>
            <surname>Sauer</surname>
          </string-name>
          .
          <article-title>Towards Collaborative Agent-Based Knowledge Support for Time-Critical and B usiness-Critical Processes</article-title>
          .
          <source>In Professional Knowledge Management</source>
          , volume
          <volume>3782</volume>
          , pages
          <fpage>4204</fpage>
          -
          <lpage>30</lpage>
          , Berlin Heidelberg New York,
          <year>2005</year>
          . Springer-Verlag.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>David</given-names>
            <surname>Hollingsworth</surname>
          </string-name>
          .
          <source>The Workflow Reference Model. Workflow Management Coalition</source>
          . Verfügbar auf http://www.wfmc.org/reference-model.html.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>Thomas</given-names>
            <surname>Jacob</surname>
          </string-name>
          .
          <article-title>Implementierung einer sicheren und rollenbasierten Workflowmanagement-Komponente für ein Petrinetzwerkzeug</article-title>
          .
          <source>Diploma thesis</source>
          , University of Hamburg, Department of Computer Science, Vogt-Kölln Str. 30,
          <string-name>
            <given-names>D</given-names>
            <surname>-</surname>
          </string-name>
          22527
          <string-name>
            <surname>Hamburg</surname>
          </string-name>
          ,
          <year>2002</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <given-names>N. R.</given-names>
            <surname>Jennings</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.J.</given-names>
            <surname>Norman</surname>
          </string-name>
          , and
          <string-name>
            <given-names>P.</given-names>
            <surname>Faratin. ADEPT</surname>
          </string-name>
          :
          <article-title>An Agent-Based Approach to Business Process Management</article-title>
          .
          <source>ACM SIGMOD Record</source>
          ,
          <volume>27</volume>
          :
          <fpage>323</fpage>
          -
          <lpage>9</lpage>
          ,
          <year>1998</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Michael</surname>
            <given-names>Köhler</given-names>
          </string-name>
          , Daniel Moldt, and
          <string-name>
            <given-names>Heiko</given-names>
            <surname>Rölke</surname>
          </string-name>
          .
          <article-title>Modelling the Structure and Behaviour of Petri Net Agents</article-title>
          . In
          <string-name>
            <surname>J.M. Colom</surname>
          </string-name>
          and M. Koutny, editors,
          <source>Proceedings of the 22nd Conference on Application and Theory of Petri Nets</source>
          <year>2001</year>
          , volume
          <volume>2075</volume>
          <source>of Lecture Notes in Computer Science</source>
          , pages
          <fpage>2242</fpage>
          -
          <lpage>41</lpage>
          . Springer-Verlag,
          <year>2001</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Michael</surname>
            <given-names>Köhler</given-names>
          </string-name>
          , Daniel Moldt, and
          <string-name>
            <given-names>Heiko</given-names>
            <surname>Rölke</surname>
          </string-name>
          .
          <article-title>Modelling mobility and mobile agents using nets within nets</article-title>
          .
          <source>In Wil van der Aalst</source>
          and Eike Best, editors,
          <source>Proceedings of the 24th International Conference on Application and Theory of Petri Nets</source>
          <year>2003</year>
          (
          <article-title>ICATPN 2003)</article-title>
          , volume
          <volume>2679</volume>
          of Lecture Notes in Computer Science, pages
          <fpage>1211</fpage>
          -
          <lpage>39</lpage>
          . Springer-Verlag,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Michael</surname>
          </string-name>
          Köhler-Bußmeier.
          <article-title>Hornets: Nets within Nets com bined with Net Algebra</article-title>
          . In Karsten Wolf and Giuliana Franceschinis, editors,
          <source>International Conference on Application and Theory of Petri Nets (ICATPN'2009)</source>
          , volume
          <volume>5606</volume>
          of Lecture Notes in Computer Science, pages
          <fpage>2432</fpage>
          -
          <lpage>62</lpage>
          . Springer-Verlag,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Michael</surname>
          </string-name>
          Köhler-Bußmeier.
          <article-title>SONAR: Eine sozialtheoretis ch fundierte Multiagentensystemarchitektur</article-title>
          . In Rolf v. Lüde, Daniel Moldt, and Rüdiger Valk, editors,
          <source>Selbstorganisation und Governance in künstlichen und sozialen Systemen</source>
          , volume
          <volume>5</volume>
          of Reihe: Wirtschaft - Arbeit - Technik , chapter
          <volume>81</volume>
          -
          <fpage>2</fpage>
          . Lit-Verlag, Münster - Hamburg - London,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <given-names>Olaf</given-names>
            <surname>Kummer</surname>
          </string-name>
          . Referenznetze. Logos Verlag, Berlin,
          <year>2002</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Kolja</surname>
            <given-names>Markwardt</given-names>
          </string-name>
          , Daniel Moldt, and
          <string-name>
            <given-names>Christine</given-names>
            <surname>Reese</surname>
          </string-name>
          .
          <article-title>Support of Distributed Software Development by an Agent-based Process Infrastruc ture</article-title>
          .
          <source>In MSVVEIS</source>
          <year>2008</year>
          ,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Kolja</surname>
            <given-names>Markwardt</given-names>
          </string-name>
          , Daniel Moldt, and Thomas Wagner.
          <article-title>Net Agents for Activity Handling in a WFMS</article-title>
          . In Thomas Freytag and Andreas Eckleder, editors,
          <source>16th German Workshop on Algorithms and Tools for Petri Nets, AWPN</source>
          <year>2009</year>
          , Karlsruhe, Germany, Proceedings, CEUR Workshop Proceedings,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <given-names>Daniel</given-names>
            <surname>Moldt</surname>
          </string-name>
          .
          <source>Höhere Petrinetze als Grundlage für Systemspezifikationen. Dissertation</source>
          , University of Hamburg, Department of Computer Science, Vogt-Kölln Str. 30,
          <string-name>
            <given-names>D</given-names>
            <surname>-</surname>
          </string-name>
          22527
          <string-name>
            <surname>Hamburg</surname>
          </string-name>
          ,
          <year>August 1996</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19. Christine Reese.
          <source>ProzessI-nfrastruktur für Agentenanwendungen . Dissertation</source>
          , University of Hamburg, Department of Informatics,
          <source>VogtKölln Str</source>
          . 30,
          <string-name>
            <given-names>D</given-names>
            <surname>-</surname>
          </string-name>
          22527
          <string-name>
            <surname>Hamburg</surname>
          </string-name>
          ,
          <year>2009</year>
          . Pdf: http://www.sub. unihamburg.de/opus/volltexte/2010/4497/.
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Christine</surname>
            <given-names>Reese</given-names>
          </string-name>
          , Jan Ortmann, Daniel Moldt, Sven Offermann, Kolja Lehmann, and
          <string-name>
            <given-names>Timo</given-names>
            <surname>Carl</surname>
          </string-name>
          .
          <article-title>Architecture for Distributed Agent-Based Wo rkflows</article-title>
          .
          <source>In Brian Henderson-Sellers and Michael Winikoff</source>
          , editors,
          <source>Proceedings of the Seventh International BiC-onference Workshop on AgentO-riented Inform ation Systems (AOIS2005)</source>
          ,
          <article-title>Utrecht, Niederlande, as part of AAMAS 2005 (Autonomous Agents and Multi Agent Systems)</article-title>
          ,
          <source>July</source>
          <year>2005</year>
          , pages
          <fpage>424</fpage>
          -
          <lpage>9</lpage>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <surname>Christine</surname>
            <given-names>Reese</given-names>
          </string-name>
          , Matthias Wester-Ebbinghaus,
          <article-title>Till Dör ges</article-title>
          , Lawrence Cabac, and
          <string-name>
            <given-names>Daniel</given-names>
            <surname>Moldt</surname>
          </string-name>
          .
          <article-title>A Process Infrastructure for Agent Systems</article-title>
          . In Mehdi Dastani, Amal El Fallah, Joao Leite, and Paolo Torroni, editors,
          <source>MALLOW'007 Proceedings. Workshop LADS'007 Languages, Methodologies and Developme nt Tools for MultiAgent Systems (LADS)</source>
          , pages
          <fpage>971</fpage>
          -
          <lpage>11</lpage>
          ,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <surname>Christine</surname>
            <given-names>Reese</given-names>
          </string-name>
          , Matthias Wester-Ebbinghaus,
          <article-title>Till Dör ges</article-title>
          , Lawrence Cabac, and Daniel Moldt.
          <article-title>Introducing a Process Infrastructure for Agent Systems</article-title>
          . In Mehdi Dastani, Amal El Fallah, João Leite, and Paolo Torroni, editors,
          <source>LADS'007 Languages, Methodologies and Development Tools for MultiA-ge nt Systems</source>
          , volume
          <volume>5118</volume>
          <source>of Lecture Notes in Artificial Intelligence</source>
          , pages
          <fpage>2252</fpage>
          -
          <lpage>42</lpage>
          ,
          <year>2008</year>
          .
          <string-name>
            <given-names>Revised</given-names>
            <surname>Selected</surname>
          </string-name>
          and
          <string-name>
            <given-names>Invited</given-names>
            <surname>Papers</surname>
          </string-name>
          .
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          23.
          <string-name>
            <given-names>Heiko</given-names>
            <surname>Rölke</surname>
          </string-name>
          .
          <source>Modellierung von Agenten und Multiagentensystemen - Grund lagen und Anwendungen</source>
          , volume
          <volume>2</volume>
          <source>of Agent Technology - Theory and Applications</source>
          . Logos Verlag, Berlin,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          24.
          <string-name>
            <surname>Michael</surname>
            <given-names>Tarullo</given-names>
          </string-name>
          , Daniela Rosca,
          <string-name>
            <given-names>Jiacun</given-names>
            <surname>Wang</surname>
          </string-name>
          , and
          <string-name>
            <given-names>William</given-names>
            <surname>Tepfenhart. WIFAi - A Tool</surname>
          </string-name>
          <article-title>Suite for the Modeling and Enactment of Inter-organiz ational Workflows</article-title>
          .
          <source>In SOLI '09</source>
          . IEEE/INFORMS International Conference on Servic e Operations,
          <source>Logistics and Informatics</source>
          <year>2009</year>
          , pages
          <fpage>7647</fpage>
          -
          <lpage>69</lpage>
          . IEEE,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref25">
        <mixed-citation>
          25.
          <string-name>
            <given-names>Rüdiger</given-names>
            <surname>Valk</surname>
          </string-name>
          .
          <article-title>Concurrency in Communicating Object Petri Nets</article-title>
          . In Advances in Petri Nets:
          <article-title>Concurrent ObjectO-riented Programming and Petri Nets</article-title>
          , volume
          <volume>2001</volume>
          <source>of Lecture Notes in Computer Science</source>
          , pages
          <fpage>1641</fpage>
          -
          <lpage>95</lpage>
          . Springer-Verlag, Berlin Heidelberg New York,
          <year>2001</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref26">
        <mixed-citation>
          26.
          <string-name>
            <surname>Wil M.P. van der Aalst</surname>
          </string-name>
          .
          <article-title>Verification of Workflow Nets</article-title>
          .
          <source>In ICATPN '97: Proceedings of the 18th International Conference on Application and Theory of Petri Nets</source>
          , volume
          <volume>1248</volume>
          , pages
          <fpage>4074</fpage>
          -
          <lpage>26</lpage>
          , Berlin Heidelberg New York,
          <volume>199</volume>
          7. Springer-Verlag.
        </mixed-citation>
      </ref>
      <ref id="ref27">
        <mixed-citation>
          27.
          <string-name>
            <given-names>Thomas</given-names>
            <surname>Wagner</surname>
          </string-name>
          .
          <article-title>A Centralized Petri Net- and Agent-based Workflow Management System</article-title>
          .
          <source>In Duvigneau and Moldt [5]</source>
          , pages
          <fpage>294</fpage>
          -
          <lpage>4</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref28">
        <mixed-citation>
          28.
          <string-name>
            <given-names>Thomas</given-names>
            <surname>Wagner</surname>
          </string-name>
          .
          <article-title>Prototypische Realisierung einer Integration von Agenten und Workflows</article-title>
          .
          <source>Diploma thesis</source>
          , University of Hamburg, Department of Informatics, Vogt-Kölln Str. 30,
          <string-name>
            <given-names>D</given-names>
            <surname>-</surname>
          </string-name>
          22527
          <string-name>
            <surname>Hamburg</surname>
          </string-name>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>