Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

2 Fundamenta Informaticae

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: nets within nets

Sortuj według:

Ogranicz wyniki do:

The Reachability Problem for Object Nets

100%

Köhler M.

2007

tom Vol. 79, nr 3-4

401-413

In this article I will prove undecidability results for elementary object net systems ( EOS). Object nets are Petri nets which have Petri nets as tokens - an approach which is called the "nets-within-nets" paradigm. EOS are special object net systems which have a two leveled structure.

A Survey of Decidability Results for Elementary Object Systems

88%

Köhler-Bußmeier M.

Fundamenta Informaticae

2014

tom Vol. 130, nr 1

99--123

This contribution presents recent results on Elementary Object Systems (EOS). Object nets are Petri nets which have Petri nets as tokens – an approach known as the nets-within-nets paradigm. In this work we study the relationship of EOS to existing Petri net formalisms. It turns out that EOS are equivalent to counter programs. But even for the restricted subclass of conservative EOS reachability and liveness are undecidable problems. On the other hand for other properties like boundedness are still decidable for conservative EOS. We also study the sub-class of generalised state machines, which is worth mentioning since it combines decidability of many theoretically interesting properties with a quite rich practical modelling expressiveness.