In this work we present the model of ``mobile object net systems'' - an algebraic formalisation of the ``nets within nets''-paradigm. The formalism of ``mobile object nets'' is well suited to express the dynamics of open, mobile systems, since it allows tokens to be active. The algebraic theory of ``mobile object net systems'' covers an integrated view of the two major topics concurrency and locality, which are central in the area of mobile computing. As a main result of this contribution, we derive an algebraic model in the ``Petri nets are monoids'' style. It is shown, that mobile object net systems are a conservative extension of the Petri net formalism.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
This paper introduces higher-order Petri nets based on multiset rewriting. Some variations of the firing rule for high-level Petri nets following the nets-within-nets paradigm, i.e. allowing Petri nets as tokens, are discussed. All considerations keep in mind the possibile existence of a universal higher-order Petri net.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.