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

María José Polo Martín Luis Antonio Miguel Quintales María N. Moreno García A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets. 351-370 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3099&spage=351 2004 conf/apn/2004 ICATPN db/conf/apn/icatpn2004.html#MartinQG04