Colored Petri Net Model of X/Open Distributed Transaction Processing Environment with Single Application Program. - Marek Iwaniak; Wlodzimierz Khadzhynov (BDAS, 2014)