Temat: nested Petri 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ę "nested Petri nets" wg kryterium: Temat

Wyświetlanie 1-5 z 5

Zaznacz

Skocz do pozycji: 1.

Tytuł:: On Compositionality of Boundedness and Liveness for Nested Petri Nets
Autorzy:: Dworzański, L. W.
Lomazova, I.A.
Data publikacji:: 2012
Słowa kluczowe:: nested Petri nets
liveness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Petri nets and resource bisimulation
Autorzy:: Bashkin, V.A.
Lomazova, I.A.
Data publikacji:: 2003
Słowa kluczowe:: Petri net
resource similarity
bisimulation equivalence
high-level Petri nets
nested Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Nested Petri Nets: Multi-level and Recursive Systems
Autorzy:: Lomazova, I.A.
Data publikacji:: 2001
Słowa kluczowe:: hierarchical multi-agent systems
nested Petri nets
well-structured transition systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Nested Petri nets - a formalism for specification and verification of multi-agent distributed systems
Autorzy:: Lomazova, I.A.
Data publikacji:: 2000
Słowa kluczowe:: hierarchical multi-agent systems
nested Petri nets
well-structured transition systems
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets
Autorzy:: Lomazova, I.A.
Data publikacji:: 2002
Słowa kluczowe:: Petri net
nested Petri nets
multi-agent systems
task planning system
recursive-parallel program
process algebras
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-5 z 5

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ę "nested Petri nets" wg kryterium: Temat