Shyman A, Kuchuk N, Filatova A, Bellorin-Herrera O. DEVELOPMENT OF A METHOD FOR ASSESSING THE ADEQUACY OF A COMPUTER SYSTEM MODEL BASED ON PETRI NETS. A.I.S. [Internet]. 2024Sep.23 [cited 2024Dec.21];8(3):46-52. Available from: http://ais.khpi.edu.ua/article/view/311908