A Coloured Petri Net Analysis of the Transaction Internet Protocol

  • Christos K. Georgiadis
  • Ioannis Kokkinidis
  • Elias Pimenidis
Part of the Communications in Computer and Information Science book series (CCIS, volume 92)


The Transaction Internet Protocol (TIP) aims to facilitate e-commerce by enforcing atomicity guarantees in transactions distributed between several autonomous transaction processing systems. In this work, the authors explore a holiday booking scenario in which a customer is protected by the TIP; in such a way as to prevent ending up with a hotel reservation without the requested flight reservation that is enclosed in the same holiday package. TIP defines an approach that makes the commit processing independent of the communication protocol used. There are a number of potential pitfalls that make it useful to provide a formal approach to reason about the behavioral properties of TIP. The authors propose a Colored Petri Net model that allows interactive simulation and verification of correctness properties within the CPN Tools modeling environment. The model can be used in the CPN Tools environment for model checking tasks.


E-commerce transaction CP-nets Model Checking Simulation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Reynolds, J., Ginoza, S. (eds.): Internet Official Protocol Standards, Network Working Group RFC 3700, Standards Track, Internet Engineering Task Force (2004)Google Scholar
  2. 2.
    Evans, K., Klein, J., Lyon, J.: Transaction Internet Protocol – Requirements and Supplemental Information, Network Working Group RFC 2372, Standards Track. The Internet Society (1998),
  3. 3.
    Lyon, J., Evans, K., Klein, J.: Transaction Internet Protocol Version 3.0, Network Working Group RFC 2371, Standards Track. The Internet Society (1998),
  4. 4.
    Katsaros, P.: A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach. Information and Software Technology 51(2), 235–257 (2009), CrossRefMathSciNetGoogle Scholar
  5. 5.
    Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vols. 1-3. Springer, Heidelberg (1997)Google Scholar
  6. 6.
    Kristensen, L.M., Christensen, S., Jensen, K.: The Practitioner’s Guide to Coloured Petri Nets, CPN Group, Department of Computer Science, University of Aarhus, Denmark. Springer, Heidelberg (1998)Google Scholar
  7. 7.
    Katsaros, P., Odontidis, V., Gousidou-Koutita, M.: Colored Petri Net Based Model Checking and Failure Analysis for E-commerce Protocols. In: Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2005), DAIMI PB-576, University of Aarhus, Denmark, pp. 267–283 (2005)Google Scholar
  8. 8.
    Georgiadis, C.K., Baltatzis, D., Pangalos, G.: Secure mobile agent environments: modelling role assignments. Int. J. Electronic Security and Digital Forensics 1(3), 249–267 (2008)CrossRefGoogle Scholar
  9. 9.
    CPN2000 Project: Coloured Petri-Nets Tools (2000),

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Christos K. Georgiadis
    • 1
  • Ioannis Kokkinidis
    • 1
  • Elias Pimenidis
    • 2
  1. 1.Department of Applied InformaticsUniversity of MacedoniaThessalonikiGreece
  2. 2.School of Computing, IT and EngineeringUniversity of East LondonUK

Personalised recommendations