Temat: nets-within-nets - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "nets-within-nets" wg kryterium: Temat

Wyświetlanie 1-8 z 8

Zaznacz

Skocz do pozycji: 1.

Tytuł:: On the Complexity of the Reachability Problem for Safe : Elementary Hornets
Autorzy:: Köhler-Bußmeier, M.
Data publikacji:: 2014
Słowa kluczowe:: Hornets
nets within nets
object nets
reachability
safeness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: An Upper Bound for the Reachability Problem of Safe, Elementary Hornets
Autorzy:: Köhler-Bußmeier, M.
Heitmann, F.
Data publikacji:: 2016
Słowa kluczowe:: Hornets
nets-within-nets
object nets
reachability
safeness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A Survey of Decidability Results for Elementary Object Systems
Autorzy:: Köhler-Bußmeier, M.
Data publikacji:: 2014
Słowa kluczowe:: Petri nets
nets within nets
reachability
liveness
boundedness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: The Reachability Problem for Object Nets
Autorzy:: Köhler, M.
Data publikacji:: 2007
Słowa kluczowe:: decidability
nets within nets
Petri net
reachability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Concurrency in Mobile Object Net Systems
Autorzy:: Köhler, M.
Rölke, H.
Data publikacji:: 2003
Słowa kluczowe:: concurrency
mobility
nets-within-nets paradigm
Petri nets as monoids; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Structural and Dynamic Restrictions of Elementary Object Systems
Autorzy:: Heitmann, F.
Köhler-Bußmeier, M.
Data publikacji:: 2014
Słowa kluczowe:: high-level Petri net models
nets-within-nets
restrictions
reachability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Some Considerations on Higher-Order Petri Nets
Autorzy:: Farwer, B.
Kudlek, M.
Misra, K.
Data publikacji:: 2003
Słowa kluczowe:: Petri net
multiset rewriting
object net
nets-within-nets paradigm
universal Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Conservative Elementary Object Systems
Autorzy:: Köhler-Bußmeier, M.
Heitmann, F.
Data publikacji:: 2012
Słowa kluczowe:: Petri net
nets-within-net
nets as tokens
reachability
liveness
boundedness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-8 z 8

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "nets-within-nets" wg kryterium: Temat