Kharitonov, D. et al. 2017. Modeling of Object-Oriented Programs with Petri Net Structured Objects. Computing and Informatics. 36, 5 (Dec. 2017), 1063–1087.