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

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)

Information-analytic system "information error" for computation tasks of technological electric power losses in distributive nets
за авторством: Ozeryanskiy A.A., та інші
Опубліковано: (2002)

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

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)

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

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)

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)

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)

REVIEW OF MICROGRID CLUSTER ARCHITECTURES BASED ON DISTRIBUTED ENERGY RESOURCES
за авторством: Leshchenko, Pavlo, та інші
Опубліковано: (2025)

CONTROL OF ELECTRICITY QUALITY PARAMETERS OF GENERAL-PURPOSE ELECTRICAL GRIDS USING THE PHASE METHOD
за авторством: Kovtun, Svitlana, та інші
Опубліковано: (2024)

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

Mapping business processes models from Petri nets into event-driven process chains
за авторством: Zlatkin, S., та інші
Опубліковано: (2006)

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

Current situation and problems of Ukraine’s participation in Kyoto protocol
за авторством: Ivanenko N.P.
Опубліковано: (2006)

Problems and perspectives of application of Artificial Neural Nets in power engineering. Part 2. Management
за авторством: Voronovskiy, та інші
Опубліковано: (2007)

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

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

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

EFFECTIVENESS OF APPLYING THE NET METERING PRINCIPLE IN GREENHOUSE COMPLEXES OF THE ZAPORIZHZHIA REGION
за авторством: Hulevskyi , V., та інші
Опубліковано: (2026)

Analysis of using of the direct measurements for technological power losses definition
за авторством: Ozeryanskiy A.A., та інші
Опубліковано: (2003)

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

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

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)

Alternative energy: problems of classification and positions of Kioto's protocol
за авторством: Rabinovych M.D.
Опубліковано: (2003)