Kharitonov, Dmitriy, et al. “Modeling of Object-Oriented Programs With Petri Net Structured Objects”. Computing and Informatics, vol. 36, no. 5, Dec. 2017, pp. 1063-87, http://147.213.75.17/ojs/index.php/cai/article/view/2017_5_1063.