Kharitonov, Dmitriy, George Tarasov, and Evgeniy Golenkov. 2017. “Modeling of Object-Oriented Programs With Petri Net Structured Objects”. Computing and Informatics 36 (5):1063-87. http://147.213.75.17/ojs/index.php/cai/article/view/2017_5_1063.