RUS
ENG
Full version
PEOPLE
Savelyev Semyon Yuryevich
Publications in Math-Net.Ru
Generation of Petri nets using structural property-preserving transformations
Proceedings of ISP RAS
,
33
:3 (2021),
155–170
©
Steklov Math. Inst. of RAS
, 2026
