Зображення обкладинки

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 reac...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2012
Автори:	Iwaniak, M., Khadzhynov, W.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	Інститут проблем реєстрації інформації НАН України 2012
Теми:	Petri Net distributed transactions 3PC Three-Phase Commit protocol
Онлайн доступ:	http://drsp.ipri.kiev.ua/article/view/105222
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Data Recording, Storage & Processing

Репозитарії

Data Recording, Storage & Processing

Схожі ресурси

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
за авторством: Iwaniak, M., та інші
Опубліковано: (2013)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: Iwaniak, M., та інші
Опубліковано: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: M. Iwaniak, та інші
Опубліковано: (2012)

Development of a methodology for the implementation of transactions in distributed systems with microservice architectura
за авторством: Glybovets, A.M., та інші
Опубліковано: (2024)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
за авторством: Iwaniak, M., та інші
Опубліковано: (2013)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
за авторством: M. Iwaniak, та інші
Опубліковано: (2013)

The grammar of Petri-object model visual programming language
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)

Principles of modeling GPGPU-applications using Petri nets
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Heart Modeling on the Basis of Petri Nets
за авторством: V. V. Kuzmuk, та інші
Опубліковано: (2014)

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

The use of the petri net method in the simulation modeling of mitochondrial swelling
за авторством: Yu. V. Danylovych, та інші
Опубліковано: (2016)

Dynamic Modeling of Enterprise on the Basis of Petri Nets
за авторством: Ju. M. Lisetskij
Опубліковано: (2018)

Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens
за авторством: D. K. Glomozda, та інші
Опубліковано: (2018)

CALCULATION OF COMPENSATING SUSCEPTANCE FOR A THREE-WIRE NET
за авторством: Sirotin, Iu. A.
Опубліковано: (2014)

Modeling of the E-marketing Logistics Subsystem Using the Fuzzy Petri Net
за авторством: V. V. Vitlinskyi, та інші
Опубліковано: (2014)

Modelling of the teaching process in logistic systems by using of nested Petri Nets
за авторством: S. Minakova
Опубліковано: (2014)

A structural and analytical simulation and animation of technological processes in engineering complexes
за авторством: Denisenko, A. V.
Опубліковано: (2016)

ENERGY COMMITMENT: A PLANNING OF ENERGY CARRIER BASED ON ENERGY CONSUMPTION
за авторством: Dehghani, M., та інші
Опубліковано: (2019)

Application of Petri component nets in the checking task of parallel distributed systems
за авторством: Lukyanova, E.A.
Опубліковано: (2025)

The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)

Connection between Petri nets and Polish notation
за авторством: V. M. Statkevich
Опубліковано: (2016)

Transition systems as method of designing applications in GPGPU technology
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2018)

Petri Net Approach for Design Generalized Multi-User System
за авторством: S. M. Voronoj, та інші
Опубліковано: (2013)

Animation information technology of complex technical systems based on the discrete- continuous networks, FLASH-technology and means of DCNET
за авторством: Denisenko, A. V.
Опубліковано: (2014)

Modelling of online store&#039;s e-logistics processes with coloured combined (timed) Petri nets
за авторством: V. I. Skitsko, та інші
Опубліковано: (2015)

A network approach in the study of cascading effects critical infrastructures
за авторством: Хоменко, О. М., та інші
Опубліковано: (2024)

Predicting Filtered Image Quality Using Transfer Learning on Sentinel-1 Speckle Noise with DenseNet-121
за авторством: Al-Senaikh, Raed, та інші
Опубліковано: (2025)

ELECTROMAGNETIC CALCULATION OF THREE-PHASE ASYNCHRONOUS MOTORS WITH A SIX-PHASE WINDING
за авторством: Lushchik, V. D., та інші
Опубліковано: (2013)

Контроль параметрів якості електроенергії мереж загальної призначеності із застосуванням фазового методу
за авторством: Kovtun, Svitlana, та інші
Опубліковано: (2024)

СУМІСНЕ ВВЕДЕННЯ АПІГЕНІНУ З ДОКСОРУБІЦІНОМ ПІДВИЩУЄ АНТИМІГРАЦІЙНИЙ ТА АНТИПРОЛІФЕРАТИВНИЙ ЕФЕКТИ ЧЕРЕЗ PI3K/PTEN/AKT ШЛЯХИ У КЛІТИНАХ РАКУ ПЕРЕДМІХУРОВОЇ ЗАЛОЗИ
за авторством: Ayyildiz, A., та інші
Опубліковано: (2023)

ГОМОЕРИТРОЛ ІНГІБУЄ РІСТ ТА МІГРАЦІЮ АНДРОГЕН-РЕЗИСТЕНТНИХ КЛІТИН РАКУ ПЕРЕДМІХУРОВОЇ ЗАЛОЗИ IN VITRO
за авторством: GÜVENÇ, A., та інші
Опубліковано: (2025)

Interactive software package Isohypse for three-dimensional geological and geophysical models, and its practical use
за авторством: Starostenko, V. I., та інші
Опубліковано: (2016)

Покращена модель регуляризації ELASTIC NET для обробки фінансових часових рядів
за авторством: Квєтний, Р.Н., та інші
Опубліковано: (2025)

Efficient method for transformer models implementation in distribution load flow matrix
за авторством: Kadri, M., та інші
Опубліковано: (2023)

Міжнародна мережа AgroBioNet у реалізації наукової програми «Агробіорізноманіття для поліпшення харчування, здоров’я та якості життя»
за авторством: Klymenko, S. V., та інші
Опубліковано: (2021)

Optimal placement and sizing of distributed generation units in distribution networks using an enhanced particle swarm optimization framework
за авторством: Al Soudi, M., та інші
Опубліковано: (2026)

Factor Analysis Based on Association Rules
за авторством: Zayko, T. A., та інші
Опубліковано: (2014)

Автоматична сегментація підшлункової залози з використанням ResNet-18 методу глибокого навчання
за авторством: Kakarwal, Sangeeta, та інші
Опубліковано: (2022)

Approach to interconnection support between Java and MS.NET programming environments
за авторством: Ostrovskii, A.V.
Опубліковано: (2025)

Technical solutions to reduce losses in magnetic cores and material consumption of three-phase transformer and reactor equipment
за авторством: Stavynskyi, A. A., та інші
Опубліковано: (2024)