Shyman, A., Kuchuk , N. ., Filatova , A. . and Bellorin-Herrera , O. . (2024) “DEVELOPMENT OF A METHOD FOR ASSESSING THE ADEQUACY OF A COMPUTER SYSTEM MODEL BASED ON PETRI NETS”, Advanced Information Systems, 8(3), pp. 46–52. doi: 10.20998/2522-9052.2024.3.05.