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

Wyświetlanie 1-6 z 6

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques
Autorzy:: Koutny, M.
Randell, B.
Data publikacji:: 2009
Słowa kluczowe:: failures
error
faults
dependability
judgemen
occurrence nets
abstraction
formal analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Building Occurrence Nets from Reveals Relations
Autorzy:: Balaguer, S.
Chatain, T.
Haar, S.
Data publikacji:: 2013
Słowa kluczowe:: synthesis of concurrent systems
occurrence nets
event logics
Petri nets
maximal runs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Clusters, Confusion and Unfoldings
Autorzy:: Haar, S.
Data publikacji:: 2001
Słowa kluczowe:: concurrency
occurrence (Petri) nets
unfoldings
confusion
conflict clusters; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Occurrence net logics
Autorzy:: Haar, S.
Data publikacji:: 2000
Słowa kluczowe:: concurrency
occurrence (Petri) nets
semantics
partial order logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Processes of Petri Nets with Range Testing
Autorzy:: Kleijn, J.
Koutny, M.
Data publikacji:: 2007
Słowa kluczowe:: theory of concurrency
Petri net
weighted activator and inhibitor arcs
range arcs
causality semantics
infinite processes
occurrence (Petri) nets
step sequences; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Analysis of Approximate Petri Nets by Means of Occurrence Graphs
Autorzy:: Suraj, Z.
Fryc, B.
Data publikacji:: 2007
Słowa kluczowe:: approximate Petri nets
approximate reasoning
knowledge representation
occurrence graphs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-6 z 6

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