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

НЕСТЕРОВ Р.А., САВЕЛЬЕВ С.Ю. Генерация сетей Петри с помощью структурных трансформаций, сохраняющих поведенческие свойства. Труды Института системного программирования РАН. 2021;33(3):155-170. https://doi.org/10.15514/ISPRAS-2021-33(3)-12

For citation:

NESTEROV R., SAVELYEV S. Generation of Petri Nets Using Structural Property-Preserving Transformations. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2021;33(3):155-170. https://doi.org/10.15514/ISPRAS-2021-33(3)-12