For citations:

Tarasov G.V., Kharitonov D.I., Golenkov E.A. On a Function Representation in an Imperative Program Model Specified by Petri Nets. Modeling and Analysis of Information Systems. 2011;18(2):18-38. (In Russ.)