Colored Petri Net Model of X/Open Distributed Transaction Processing Environment with Single Application Program | SpringerLink
Skip to main content
Springer Nature Link
Log in

Colored Petri Net Model of X/Open Distributed Transaction Processing Environment with Single Application Program

  • Conference paper
Beyond Databases, Architectures, and Structures (BDAS 2014)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 424))

  • 1374 Accesses

Abstract

This work presents the Colored Petri Net (CPN) model of distributed transaction environment based on X/Open standards TX and XA. Due to the complexity of the model the slicing technique has been applied. Obtained reduction of the model allowed to perform the reachability analysis of each slice. Slices of the model have been extended with necessary input and output interfaces and presented as UML components. Possible usage of received components in future research work has been described.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Iwaniak, M., Khadzhynov, W.: Usage of petri nets for distributed transactions modeling. SI: Studia Informatica 33(2A(105)), 255–270 (2012)

    Google Scholar 

  2. Iwaniak, M., Khadzhynov, W.: Reproduction of two-phase commit protocol with multiple participants with the usage of colored petri net. SI: Studia Informatica  34(2A(115)), 57–69 (2013)

    Google Scholar 

  3. Masri, A., Bourdeaud’huy, T., Toguyéni, A.: Performance evaluation of distributed systems: a component-based modeling approach based on object oriented petri nets (2010)

    Google Scholar 

  4. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)

    Google Scholar 

  5. Petri, C.: Kommunikation mit Automaten. Ph.D. thesis, Institut fur instrumentelle Mathematik, Bonn, Germany (1962)

    Google Scholar 

  6. Polo Martín, M.J., Quintales, L.A.M., Moreno García, M.N.: A framework for the modelling and simulation of distributed transaction processing systems using coloured petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 351–370. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  7. Sarkar, B.B., Chaki, N.: Transaction management for distributed database using petri nets. International Journal of Computer Information Systems and Industrial Management Applications (IJCISIM) 2, 69–76 (2010)

    Google Scholar 

  8. X/Open Company Limited: Distributed Transaction Processing: Reference Model, version 3 (1996)

    Google Scholar 

  9. X/Open Company Limited: Distributed Transaction Processing: The TX (Transaction Demarcation) Specification (1995)

    Google Scholar 

  10. X/Open Company Limited: Distributed Transaction Processing: The XA Specification (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electronics and Computer Science, Technical University of Koszalin, Koszalin, Poland

    Marek Iwaniak & Włodzimierz Khadzhynov

Authors
  1. Marek Iwaniak
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Włodzimierz Khadzhynov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marek Iwaniak .

Editor information

Editors and Affiliations

  1. Silesian University of Technology Inst. Computing Science, Gliwice, Poland

    Stanislaw Kozielski

  2. Silesian University of Technology Institute of Informatics, Gliwice, Poland

    Dariusz Mrozek

  3. Silesian University of Technology, Gliwice, Poland

    Pawel Kasprowski

  4. Silesian University of Technology, Gliwice, Poland

    Bożena Małysiak-Mrozek

  5. Silesian University of Technology, Gliwice,, Poland

    Daniel Kostrzewa

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Iwaniak, M., Khadzhynov, W. (2014). Colored Petri Net Model of X/Open Distributed Transaction Processing Environment with Single Application Program. In: Kozielski, S., Mrozek, D., Kasprowski, P., Małysiak-Mrozek, B., Kostrzewa, D. (eds) Beyond Databases, Architectures, and Structures. BDAS 2014. Communications in Computer and Information Science, vol 424. Springer, Cham. https://doi.org/10.1007/978-3-319-06932-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-06932-6_3

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-06931-9

  • Online ISBN: 978-3-319-06932-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation