Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2013
Main Authors:	Iwaniak, M., Khadzhynov, W.
Format:	Article
Language:	English
Published:	Інститут проблем реєстрації інформації НАН України 2013
Subjects:	Coloured Petri Net distributed transactions 2PC Two-Phase Commit protocol
Online Access:	http://drsp.ipri.kiev.ua/article/view/103431
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Data Recording, Storage & Processing

Institution

Data Recording, Storage & Processing

Similar Items

Distributed Transactions Modeling with the Use of Petri Nets
by: Iwaniak, M., et al.
Published: (2012)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
by: M. Iwaniak, et al.
Published: (2013)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
by: Iwaniak, M., et al.
Published: (2013)

Distributed Transactions Modeling with the Use of Petri Nets
by: M. Iwaniak, et al.
Published: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
by: Iwaniak, M., et al.
Published: (2012)

Current situation and problems of Ukraine’s participation in Kyoto protocol
by: Ivanenko N.P.
Published: (2006)

The grammar of Petri-object model visual programming language
by: Dyfuchyn, А.J., et al.
Published: (2022)

ENERGY COMMITMENT: A PLANNING OF ENERGY CARRIER BASED ON ENERGY CONSUMPTION
by: Dehghani, M., et al.
Published: (2019)

Alternative energy: problems of classification and positions of Kioto's protocol
by: Rabinovych M.D.
Published: (2003)

On colouring integers avoiding \(t\)-AP distance-sets
by: Ahmed, Tanbir
Published: (2016)

Modelling of online store&#039;s e-logistics processes with coloured combined (timed) Petri nets
by: V. I. Skitsko, et al.
Published: (2015)

Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens
by: D. K. Glomozda, et al.
Published: (2018)

Heart Modeling on the Basis of Petri Nets
by: V. V. Kuzmuk, et al.
Published: (2014)

Development of a methodology for the implementation of transactions in distributed systems with microservice architectura
by: Glybovets, A.M., et al.
Published: (2024)

A structural and analytical simulation and animation of technological processes in engineering complexes
by: Denisenko, A. V.
Published: (2016)

The Moderating Effect of Decent Work on Employee Commitment and Organisational Citizenship Behaviour in the Construction Sector
by: Muchakubvura, Dzidzai, et al.
Published: (2026)

Dynamic Modeling of Enterprise on the Basis of Petri Nets
by: Ju. M. Lisetskij
Published: (2018)

Connection between Petri nets and Polish notation
by: V. M. Statkevich
Published: (2016)

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

Transition systems as method of designing applications in GPGPU technology
by: Kryvyi, S.L., et al.
Published: (2018)

Principles of modeling GPGPU-applications using Petri nets
by: Pogorilyy, S.D., et al.
Published: (2025)

Information-analytic system "information error" for computation tasks of technological electric power losses in distributive nets
by: Ozeryanskiy A.A., et al.
Published: (2002)

Colour class domination numbers of some classes of graphs
by: Venkatakrishnan, Yanamandram B., et al.
Published: (2018)

The translator of Petri-object model visual programming language
by: Dyfuchyn, А.Yu.
Published: (2022)

Petri Net Approach for Design Generalized Multi-User System
by: S. M. Voronoj, et al.
Published: (2013)

The use of the petri net method in the simulation modeling of mitochondrial swelling
by: Yu. V. Danylovych, et al.
Published: (2016)

Simulation of Hydraulic Resistance of High - Concentrated Disperse Flow
by: Yatsenko V.P.
Published: (2000)

Application of Petri component nets in the checking task of parallel distributed systems
by: Lukyanova, E.A.
Published: (2025)

Modeling of the E-marketing Logistics Subsystem Using the Fuzzy Petri Net
by: V. V. Vitlinskyi, et al.
Published: (2014)

Modelling of the teaching process in logistic systems by using of nested Petri Nets
by: S. Minakova
Published: (2014)

Animation information technology of complex technical systems based on the discrete- continuous networks, FLASH-technology and means of DCNET
by: Denisenko, A. V.
Published: (2014)

Problems and perspectives of application of Artificial Neural Nets in power engineering. Part 2. Management
by: Voronovskiy, et al.
Published: (2007)

Efficient and reliable scheduling of power generating units in the unit commitment problem using the Tardigrade optimization algorithm
by: Alomari, S. A., et al.
Published: (2026)

EFFECTIVENESS OF APPLYING THE NET METERING PRINCIPLE IN GREENHOUSE COMPLEXES OF THE ZAPORIZHZHIA REGION
by: Hulevskyi , V., et al.
Published: (2026)

Mapping business processes models from Petri nets into event-driven process chains
by: Zlatkin, S., et al.
Published: (2006)

A network approach in the study of cascading effects critical infrastructures
by: Хоменко, О. М., et al.
Published: (2024)

Analysis of the current status and perspective of implementation of Ukraine international climate change commitments: Kyoto protocol
by: O. A. Diachuk
Published: (2013)

REVIEW OF MICROGRID CLUSTER ARCHITECTURES BASED ON DISTRIBUTED ENERGY RESOURCES
by: Leshchenko, Pavlo, et al.
Published: (2025)

GENERATION UNIT COMMITMENT MIXED INTEGER LINEAR MODEL FOR SIMULTANEOUS HEAT AND ELECTRIC DAILY LOAD COVERING
by: Sergii Shulzhenko
Published: (2023)

A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems
by: Hudak, S., et al.
Published: (2008)