Modeling imperative programs operations on memory in terms of Petri nets Dmitry Kharitonov E3S Web Conf., 460 (2023) 04029 Published online: 11 December 2023 DOI: 10.1051/e3sconf/202346004029