Kharitonov, Dmitriy, George Tarasov, and Evgeniy Golenkov. “Modeling of Object-Oriented Programs With Petri Net Structured Objects”. Computing and Informatics 36, no. 5 (December 19, 2017): 1063–1087. Accessed April 30, 2025. https://www.cai.sk/ojs/index.php/cai/article/view/2017_5_1063.