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

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

Репозитарії

Data Recording, Storage & Processing

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

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

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)

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

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

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

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

On colouring integers avoiding \(t\)-AP distance-sets
за авторством: Ahmed, Tanbir
Опубліковано: (2016)

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

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

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

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

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

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

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

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

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

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

Colour class domination numbers of some classes of graphs
за авторством: Venkatakrishnan, Yanamandram B., та інші
Опубліковано: (2018)

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

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

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

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

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

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)

Efficient and reliable scheduling of power generating units in the unit commitment problem using the Tardigrade optimization algorithm
за авторством: Alomari, S. A., та інші
Опубліковано: (2026)

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

Analysis of the current status and perspective of implementation of Ukraine international climate change commitments: Kyoto protocol
за авторством: O. A. Diachuk
Опубліковано: (2013)

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

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

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

PROPERTIES OF THE SURFACE WAVE IN THE PLANAR GROUNDED DIELECTRIC STRUCTURE EXCITED BY A TWO-LAYER MICROSTRIP GRATING
за авторством: Seleznyov, D. G., та інші
Опубліковано: (2018)

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

Analysis of the Influence of Self-Similar Traffic on Efgiciency Multiple Access Protocols
за авторством: A. P. Voiter
Опубліковано: (2023)

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

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

Algorithms for Fast Computation of Cyclic Convolutions with the Notion of Discrete Signals Hypercomplex Numbers
за авторством: Kalinovsky, Ya. O., та інші
Опубліковано: (2014)

Study of Symmetries Operator of Isomorphism Hypercomplex Number Systems and Their Application for the Synthesis of Algorithms of Fast Calculations of Cyclic Convolution
за авторством: Kalinovsky, Ya. O.
Опубліковано: (2014)

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