Text this: On a Function Representation in an Imperative Program Model Specified by Petri Nets