A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets

摘要

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.