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 Studia Informatica

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: kolorowana sieć Petriego

Sortuj według:

Ogranicz wyniki do:

Kolorowana sieć Petriego jako model systemu podejmowania decyzji kredytowej

100%

Dec G. , Jędrzejec B. , Rząsa W.

tom Vol. 31, nr 2A

203-212

W artykule opisano model formalny i implementację systemu ekspertowego (SE) do podejmowania decyzji kredytowych. SE projektowany jest jako zbiór powiązanych tabel decyzyjnych (TD). Jako model tego SE zastosowano kolorowaną sieć Petriego (CPN), na którą odwzorowano strukturę SE oraz sposób wyznaczania wartości przez TD. Utworzono moduł podejmowania decyzji kredytowych, który jest częścią systemu informatycznego przeznaczonego dla bankowości.

The paper describes a formal model and implementation of an expert system (ES) for a credit decision making. The ES is designed as a set of related decision tables (DT). The Colored Petri Net (CPN) is adopted as a model of the ES. The structure and behavior of the ES is mapped into the CPN. A software module for a credit decision making is developed and deployed to a computer system for banking.

Odwzorowanie działania protokołu dwufazowego zatwierdzania z wieloma uczestnikami za pomocą kolorowanej sieci Petriego

63%

Iwaniak M. , Khadzyhonov W.

tom Vol. 34, nr 2A

57--69

W artykule przedstawiono wykorzystanie kolorowanej sieci Petriego do przedstawienia modelu i symulacji działania protokołu 2PC z wieloma uczestnikami (ang. Two-phase commit), czyli protokołu dwufazowego zatwierdzania. Wprowadzono podstawowe pojęcia dotyczące kolorowanych sieci Petriego. Opisano działanie protokołu dwufazowego zatwierdzania. Zaprezentowano model odwzorowujący działanie protokołu 2PC dla więcej niż jednego uczestnika. Za pomocą odpowiedniego doboru znakowań początkowych przeprowadzono analizę osiągalnych rozwiązań dla różnych sytuacji, które mogą zaistnieć w trakcie realizacji transakcji rozproszonej z wykorzystaniem protokołu 2PC.

In this work the usage of Colored Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Colored Petri Nets is introduced. Two-Phase Commit protocol is briefly described than introduced as Colored Petri Net model. By initial marking adaptation a few scenarios for 2PC protocol are presented with the use of the reachability analysis.