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

The Process of Verifying the Implementation of Design Patterns - Used Data Models. - Rafal Wojszczyk; Wlodzimierz Khadzhynov (ISAT (1), 2016)