D. Kharitonov, G. Tarasov, and E. Golenkov, “Modeling of Object-Oriented Programs with Petri Net Structured Objects”, Comput. Inform., vol. 36, no. 5, pp. 1063–1087, Dec. 2017.