Kharitonov, D., Tarasov, G., & Golenkov, E. (2017). Modeling of Object-Oriented Programs with Petri Net Structured Objects. COMPUTING AND INFORMATICS, 36(5), 1063–1087. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/2017_5_1063