RUS
ENG
Full version
PEOPLE
Vizovitin Nikolay Valer'evich
Publications in Math-Net.Ru
Application of coloured Petri nets for verification of scenario control structures in UCM notation
Model. Anal. Inform. Sist.
,
23
:6 (2016),
688–702
©
Steklov Math. Inst. of RAS
, 2024