Nested Nets for Adaptive Systems

  • Kees M. van Hee
  • Irina A. Lomazova
  • Olivia Oanea
  • Alexander Serebrenik
  • Natalia Sidorova
  • Marc Voorhoeve
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4024)

Abstract

We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study the value semantics of nested nets rather than the reference semantics, and apply nested nets to model adaptive workflow, i.e. flexible workflow that can be modified during the execution. A typical domain with a great need for this kind of workflow is health care, from which domain we choose the running example. To achieve the desired flexibility we allow transitions that create new nets out of the existing ones. Therefore, nets with completely new structure can be created at the run time. We show that by careful selection of basic operations on the nets we can obtain a powerful modeling formalism that enforces correctness of models. Moreover, the formalism can be implemented based on existing workflow engines.

Keywords

Petri nets modeling workflow adaptivity 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Kees M. van Hee
    • 1
  • Irina A. Lomazova
    • 2
  • Olivia Oanea
    • 1
  • Alexander Serebrenik
    • 1
  • Natalia Sidorova
    • 1
  • Marc Voorhoeve
    • 1
  1. 1.Department of Mathematics and Computer ScienceEindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.Program Systems Institute of Russian Academy of SciencePereslavl-ZalesskyRussia

Personalised recommendations