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