DOI: https://doi.org/10.35681/1560-9189.2012.14.3.105222

Моделювання розподілених транзакцій за допомогою мереж Петрі

Iwaniak M., Khadzhynov W.

Анотація


Зроблено спробу використання простої мережі Петрі для моделювання й дослідження три-фазного протоколу фіксації (3РС). Наведено короткий огляд мереж Петрі. Пояснено сутність зви-чайних і розподілених транзакцій. Дано опис кроків протоколу 3РС. Проаналізовано доступність мережі Петрі з протоколом 3РС і досліджено властивості запропонованої мережі. Табл.: 5. Іл.: 4. Бібліогр.: 4 найм.

Ключові слова


мережі Петрі; розподілені транзакції; 3РС; трифазний протокол ствердження транзакцій

Повний текст:

PDF (English)