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