In: Proceedings of Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, pages 351-370. Volume 3099 of Lecture Notes in Computer Science / Cortadella, Reisig (Eds.) --- Springer-Verlag, September 2004.
Abstract: In this paper, a flexible framework is presented that allows us to model and to simulate different types of Distributed Transaction Processing Systems which implement algorithms to solve certain specific problems related to security, concurrence, deadlock, etc. Based on the X/Open DTP model and using the Coloured Petri Nets as a tool, the basic model is broken down, maintaining its main components and presenting the new interfaces that appear. This allows us to simulate Distributed Transaction Processing Systems with different characteristics, to incorporate to the model any existing or future algorithm and to study the performance of the system both as a function of its characteristics and of the algorithms used.