Malko, O. H.; Malko, A. O. DIAGNOSING COMPUTER SYSTEMS WITH SHARED MEMORY USING PETRI NETS. mpky 2023, 20-30.