Modeling imperative programs operations on memory in terms of Petri netsDmitry KharitonovE3S Web Conf., 460 (2023) 04029DOI: https://doi.org/10.1051/e3sconf/202346004029
