O. H. Malko and A. O. Malko, “DIAGNOSING COMPUTER SYSTEMS WITH SHARED MEMORY USING PETRI NETS”, mpky, no. 1(50), pp. 20–30, Jun. 2023.