Hornets: Nets within Nets Combined with Net Algebra
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.
Unable to display preview. Download preview PDF.
- 2.Aalst, W.v.d., Moldt, D., Valk, R., Wienberg, F.: Enacting interorganizational workflows using nets in nets. In: Working Paper Series of the Department of Information systems: Proceedings of the 1999 Workflow Management Conference, vol. 70, pp. 117–136. University of Münster (1999)Google Scholar
- 3.Köhler, M., Rölke, H.: Concurrency for mobile object-net systems. Fundamenta Informaticae 54(2-3) (2003)Google Scholar
- 19.Xu, D., Deng, Y.: Modeling mobile agent systems with high level Petri nets. In: IEEE International Conference on Systems, Man, and Cybernetics 2000 (2000)Google Scholar