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

Wyświetlanie 1-10 z 323

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Formal Properties of Petri’s Cycloid Systems
Autorzy:: Valk, Rüdiger
Data publikacji:: 2019
Słowa kluczowe:: analysis Petri nets
synthesis Petri nets
structure of Petri nets
cycloids
general net theory
degenerate cycloids; 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ł:: On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method
Autorzy:: Permpoontanalarp, Y.
Sornkhom, P.
Data publikacji:: 2014
Słowa kluczowe:: formal methods for cryptographic protocols
model checking
coloured Petri nets
Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Extensions of Elementary Cause-Effect Structures
Autorzy:: Czaja, Ludwik
Data publikacji:: 2021
Słowa kluczowe:: Petri nets
semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Fuzzy Petri nets as control systems
Autorzy:: Kluska, J.
Gniewek, L.
Data publikacji:: 2005
Słowa kluczowe:: sieci Petriego
układy sterowania
przetwarzanie sygnałów analogowych
fuzzy Petri nets
Petri nets
control systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Stop-transitions of Petri Nets
Autorzy:: Desel, Jörg
Finthammer, Marc
Data publikacji:: 2020
Słowa kluczowe:: coverability graphs
minimal coverability sets
stop-transitions
termination of Petri nets
unbounded Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Towards digital twin-driven performance evaluation methodology of FMS
Autorzy:: Bocewicz, Grzegorz
Wójcik, Robert
Sitek, Paweł
Banaszak, Zbigniew
Data publikacji:: 2022
Słowa kluczowe:: FMS
Petri Nets
performance evaluation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Image generation by Petri nets
Autorzy:: Lumini, A.
Maio, D.
Data publikacji:: 1998
Słowa kluczowe:: image generation
Petri nets
fractals; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Generation of Database Transactions with Petri Nets
Autorzy:: van Hee, K.M.
Sidorova, N.
Voorhoeve, M.
van der Werf, J.M.
Data publikacji:: 2009
Słowa kluczowe:: Petri nets with identifiers; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

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

Wyświetlanie 1-10 z 323

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