Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

2 2003

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: nets-within-nets paradigm

Sortuj według:

Ogranicz wyniki do:

Some Considerations on Higher-Order Petri Nets

Farwer B., Kudlek M., Misra K.

Fundamenta Informaticae

2003

Vol. 54, nr 2,3

185-193

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.

Concurrency in Mobile Object Net Systems

Köhler M., Rölke H.

Fundamenta Informaticae

2003

Vol. 54, nr 2,3

221-235

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.