International Conference on Applications and Theory of Petri Nets

PETRI NETS 2009: Applications and Theory of Petri Nets pp 243-262

Hornets: Nets within Nets Combined with Net Algebra

  • Michael Köhler-Bußmeier
Conference paper

DOI: 10.1007/978-3-642-02424-5_15

Volume 5606 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Köhler-Bußmeier M. (2009) Hornets: Nets within Nets Combined with Net Algebra. In: Franceschinis G., Wolf K. (eds) Applications and Theory of Petri Nets. PETRI NETS 2009. Lecture Notes in Computer Science, vol 5606. Springer, Berlin, Heidelberg

Abstract

In this contribution we propose an algebraic extension of object nets. Object nets, also known as nets within nets, allow nets itself as tokens. The algebraic structure introduced here refers to the topology of these net-tokens, i.e. we have operators which compose nets. Object nets that use net operations in arc expression are called Higher Order Recursive Nets, or short: Hornets.

The operations on nets allow to modify the structure of net-tokens at run-time. We apply this construct to the workflow management domain. We propose a simple Hornet model of a distributed workflow management system. This system consists of a network of workflow management agents. The agents cooperatively transfer workflows over the network for distributed execution, monitor their processes, and reorganise the workflow repository to improve e.g. the system’s performance.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Michael Köhler-Bußmeier
    • 1
  1. 1.University of HamburgDepartment of InformaticsHamburgGermany