PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Studia Informatica
Autorzy help
  1. 1 Iwaniak M.
  2. 1 Khadzhynov W.
Lata help
  1. 1 2012
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  3PC
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Wykorzystanie sieci Petriego do modelowania transakcji rozproszonych
Iwaniak M., Khadzhynov W.
Studia Informatica
|
2012
|
Vol. 33, nr 2A
255-270
PL
W artykule przedstawiono próbę wykorzystania zwyczajnej sieci Petriego do utworzenia i zbadania modelu protokołu 3PC (ang. three-phase commit), czyli protokołu trójfazowego zatwierdzania. Wprowadzone zostały podstawowe pojęcia dotyczące sieci Petriego. Wyjaśniono istotę transakcji w tradycyjnych i rozproszonych bazach danych oraz opisano działanie protokołu trójfazowego zatwierdzania. Przedstawiono sieć Petriego odwzorowującą działanie protokołu 3PC wraz z grafem osiągalnych rozwiązań oraz badaniem właściwości utworzonej sieci.
EN
In this work the attempt of using ordinary Petri Net to model and study Three-Phase Commit protocol (3PC) is presented. Brief overview of Petri Nets is introduced. The nature of typical and distributed transactions are explained. 3PC protocol actions are described. The Petri Net of 3PC protocol followed by reachability analysis and study of net properties is presented.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.