Modeling & analysis of transaction management for distributed database environment using Petri Nets

Enterprises are physically distributed over different locations like continents, countries, plants, divisions, laboratories, departments, work-groups and so on. However, logically an enterprise can function as one unit of work. To support such logical unity among the dispersed objects, a generic framework of distributed computing is necessary. As there is no global clock available to synchronize the transactions in a loosely coupled true distributed environment, one needs to device some cost effective yet easily deployable generic model for asynchronous distributed transmissions. Transaction management system for the distributed environment must ensure that the sequence of updates on the stable storages in different locations are reliably committed or aborted as a single complete unit of work. In this paper we propose to revisit the conventional Two Phase Commit (2PC) protocol of transactional technology for ensuring the consistent commitment of distributed transactions. The proposed net model may be used to model and analyze transactions in distributed environment.