Kharitonov, D.; Tarasov, G.; Golenkov, E. Modeling of Object-Oriented Programs With Petri Net Structured Objects. Comput. Inform. 2017, 36, 1063-1087.