Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Реєстрація, зберігання і обробка даних
→
Реєстрація, зберігання і обробка даних, 2013 (том 15)
→
Реєстрація, зберігання і обробка даних, 2013 (том 15), № 3
→
Переглянути статтю

dc.contributor.author	Iwaniak, M.
dc.contributor.author	Khadzhynov, W.
dc.date.accessioned	2015-10-10T16:19:27Z
dc.date.available	2015-10-10T16:19:27Z
dc.date.issued	2013
dc.identifier.citation	Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і обробка даних. — 2013. — Т. 15, № 3. — С. 61-70. — Бібліогр.: 5 назв. — англ.	uk_UA
dc.identifier.issn	1560-9189
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/87079
dc.description.abstract	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 marking adaptation a few scenarios for 2PC protocol are presented with the use of the reachability analysis.	uk_UA
dc.description.abstract	Розглянуто застосування розфарбовуваних мереж Петрі для побудови моделей та подальшої імітації двофазного протоколу підтвердження розподілених транзакцій - 2PC (Two-phase commit) з багатьма учасниками. Надано опис основних понять розфарбовуваних мереж Петрі, що використовуються, а також дії двофазного протоколу підтвердження транзакцій для більш ніж одного учасника. За допомогою відповідного вибору початкових розміток проаналізовано досяжні стани для різних ситуацій, які можуть виникнути в процесі реалізації розподілених транзакцій із застосуванням протоколу 2PC.	uk_UA
dc.language.iso	en	uk_UA
dc.publisher	Інститут проблем реєстрації інформації НАН України	uk_UA
dc.relation.ispartof	Реєстрація, зберігання і обробка даних
dc.subject	Експертні системи та підтримка прийняття рішень	uk_UA
dc.title	Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants	uk_UA
dc.title.alternative	Моделювання двофазного протоколу підтвердження транзакцій з багатьма учасниками за допомогою розфарбовуваних мереж Петрі	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.5:519.876.2