Bidyut Biman Sarkar and Nabendu Chaki, “Transaction Management for Distributed Database using Petri Nets”, ijcisim, vol. 2, p. 8, Jan. 2010.