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. 2024, 8, 46-52.