Для цитирования:

Тарасов Г.В., Харитонов Д.И., Голенков Е.А. Об одном представлении функции в модели императивной программы, заданной сетями Петри. Моделирование и анализ информационных систем. 2011;18(2):18-38.

For citation:

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.)