Distributed Transactions Modeling with the Use of Petri Nets
The attempt of using ordinary Petri Net to model and study Three-Phase Commit protocol (3PC) is presented. A brief overview of Petri Nets is introduced. The nature of typical and distributed transactions are explained. 3PC protocol actions are described. The Petri Net of 3PCprotocol followed by rea...
Saved in:
| Published in: | Реєстрація, зберігання і обробка даних |
|---|---|
| Date: | 2012 |
| Main Authors: | , |
| Format: | Article |
| Language: | English |
| Published: |
Інститут проблем реєстрації інформації НАН України
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/50587 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Distributed Transactions Modeling with the Use of Petri Nets / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і оброб. даних. — 2012. — Т. 14, № 3. — С. 81-91. — Бібліогр.: 4 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-50587 |
|---|---|
| record_format |
dspace |
| spelling |
Iwaniak, M. Khadzhynov, W. 2013-10-24T00:11:43Z 2013-10-24T00:11:43Z 2012 Distributed Transactions Modeling with the Use of Petri Nets / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і оброб. даних. — 2012. — Т. 14, № 3. — С. 81-91. — Бібліогр.: 4 назв. — англ. 1560-9189 https://nasplib.isofts.kiev.ua/handle/123456789/50587 004.5:519.876.2 The attempt of using ordinary Petri Net to model and study Three-Phase Commit protocol (3PC) is presented. A brief overview of Petri Nets is introduced. The nature of typical and distributed transactions are explained. 3PC protocol actions are described. The Petri Net of 3PCprotocol followed by reachability analysis and study of the net properties is presented. Зроблено спробу використання простої мережі Петрі для моделювання й дослідження трифазного протоколу фіксації (ЗРС). Наведено короткий огляд мереж Петрі. Пояснено сутність звичайних і розподілених транзакцій. Дано опис кроків протоколу ЗРС. Проаналізовано доступність мережі Петрі з протоколом ЗРС і досліджено властивості запропонованої мережі. en Інститут проблем реєстрації інформації НАН України Реєстрація, зберігання і обробка даних Технічні засоби отримання і обробки даних Distributed Transactions Modeling with the Use of Petri Nets Моделювання розподілених транзакцій за допомогою мереж Петрі Моделирование распределенных транзакций с помощью сетей Петри Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Distributed Transactions Modeling with the Use of Petri Nets |
| spellingShingle |
Distributed Transactions Modeling with the Use of Petri Nets Iwaniak, M. Khadzhynov, W. Технічні засоби отримання і обробки даних |
| title_short |
Distributed Transactions Modeling with the Use of Petri Nets |
| title_full |
Distributed Transactions Modeling with the Use of Petri Nets |
| title_fullStr |
Distributed Transactions Modeling with the Use of Petri Nets |
| title_full_unstemmed |
Distributed Transactions Modeling with the Use of Petri Nets |
| title_sort |
distributed transactions modeling with the use of petri nets |
| author |
Iwaniak, M. Khadzhynov, W. |
| author_facet |
Iwaniak, M. Khadzhynov, W. |
| topic |
Технічні засоби отримання і обробки даних |
| topic_facet |
Технічні засоби отримання і обробки даних |
| publishDate |
2012 |
| language |
English |
| container_title |
Реєстрація, зберігання і обробка даних |
| publisher |
Інститут проблем реєстрації інформації НАН України |
| format |
Article |
| title_alt |
Моделювання розподілених транзакцій за допомогою мереж Петрі Моделирование распределенных транзакций с помощью сетей Петри |
| description |
The attempt of using ordinary Petri Net to model and study Three-Phase Commit protocol (3PC) is presented. A brief overview of Petri Nets is introduced. The nature of typical and distributed transactions are explained. 3PC protocol actions are described. The Petri Net of 3PCprotocol followed by reachability analysis and study of the net properties is presented.
Зроблено спробу використання простої мережі Петрі для моделювання й дослідження трифазного протоколу фіксації (ЗРС). Наведено короткий огляд мереж Петрі. Пояснено сутність звичайних і розподілених транзакцій. Дано опис кроків протоколу ЗРС. Проаналізовано доступність мережі Петрі з протоколом ЗРС і досліджено властивості запропонованої мережі.
|
| issn |
1560-9189 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/50587 |
| citation_txt |
Distributed Transactions Modeling with the Use of Petri Nets / M. Iwaniak, W. Khadzhynov // Реєстрація, зберігання і оброб. даних. — 2012. — Т. 14, № 3. — С. 81-91. — Бібліогр.: 4 назв. — англ. |
| work_keys_str_mv |
AT iwaniakm distributedtransactionsmodelingwiththeuseofpetrinets AT khadzhynovw distributedtransactionsmodelingwiththeuseofpetrinets AT iwaniakm modelûvannârozpodílenihtranzakcíizadopomogoûmerežpetrí AT khadzhynovw modelûvannârozpodílenihtranzakcíizadopomogoûmerežpetrí AT iwaniakm modelirovanieraspredelennyhtranzakciispomoŝʹûseteipetri AT khadzhynovw modelirovanieraspredelennyhtranzakciispomoŝʹûseteipetri |
| first_indexed |
2025-12-07T15:15:46Z |
| last_indexed |
2025-12-07T15:15:46Z |
| _version_ |
1850863041730576384 |