Malko, O. H., and A. O. Malko. “DIAGNOSING COMPUTER SYSTEMS WITH SHARED MEMORY USING PETRI NETS”. METHODS AND DEVICES OF QUALITY CONTROL, no. 1(50), June 2023, pp. 20-30, doi:10.31471/1993-9981-2023-1(50)-20-30.