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.
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ć.