Моделювання розподілених транзакцій за допомогою мереж Петрі
DOI:
https://doi.org/10.35681/1560-9189.2012.14.3.105222Ключові слова:
мережі Петрі, розподілені транзакції, 3РС, трифазний протокол ствердження транзакційАнотація
Зроблено спробу використання простої мережі Петрі для моделювання й дослідження три-фазного протоколу фіксації (3РС). Наведено короткий огляд мереж Петрі. Пояснено сутність зви-чайних і розподілених транзакцій. Дано опис кроків протоколу 3РС. Проаналізовано доступність мережі Петрі з протоколом 3РС і досліджено властивості запропонованої мережі. Табл.: 5. Іл.: 4. Бібліогр.: 4 найм.##submission.downloads##
Опубліковано
2012-07-01
Номер
Розділ
Technical facilities of information registration and processing