Kharitonov, D., Tarasov, G., & Golenkov, E. (2017). Modeling of Object-Oriented Programs with Petri Net Structured Objects. Computing and Informatics, 36(5), 1063–1087. https://doi.org/10.4149/cai_2017_5_1063