Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994