MODELING CONCURRENT ACCESSES TO SHARED DATA VIA PETRI NETS