Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
In this work the usage of Coloured Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Coloured Petri Nets is introduced. Two-Phase Commit protocol is briefly described than introduced as Coloured Petri Net model. By initial markin...
Збережено в:
| Дата: | 2013 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут проблем реєстрації інформації НАН України
2013
|
| Назва видання: | Реєстрація, зберігання і обробка даних |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/87079 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і обробка даних. — 2013. — Т. 15, № 3. — С. 61-70. — Бібліогр.: 5 назв. — англ. |