Distributed Transactions Modeling with the Use of Petri Nets - M. Iwaniak; W. Khadzhynov (Data recording, storage & processing, 2012)