Повнотекстовий пошук
Пошуковий запит: (<.>AT=Iwaniak Coloured Petri Net Model$<.>) |
Загальна кількість знайдених документів : 1
|
1. |
Iwaniak M. Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants [Електронний ресурс] / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і обробка даних. - 2013. - Т. 15, № 3. - С. 61-70. - Режим доступу: http://nbuv.gov.ua/UJRN/rzod_2013_15_3_9 Розглянуто застосування розфарбовуваних мереж Петрі для побудови моделей та подальшої імітації двофазного протоколу підтвердження розподілених транзакцій - 2PC (Two-phase commit) з багатьма учасниками. Надано опис основних понять розфарбовуваних мереж Петрі, що використовуються, а також дії двофазного протоколу підтвердження транзакцій для більш ніж одного учасника. За допомогою відповідного вибору початкових розміток проаналізовано досяжні стани для різних ситуацій, які можуть виникнути в процесі реалізації розподілених транзакцій із застосуванням протоколу 2PC.
|
|
|