CONCORRENZA
Peterson (1981)

turno variabile esterna
interessato[2] variabile esterna

entra_nella_regione (processo)
  altro = 1 - processo
  interessato [processo] = SI
  turno = processo
  fino a quando turno = processo e interessato [altro] = SI
  fine
fine

lascia_la_regione (processo)
  interessato [processo] = NO
fine

"Processo" indica il numero del processo stesso (0 o 1). "Altro" stabilisce il numero dell'altro processo. "Interessato" è un doppio spazio.
Se i processi funzionano esattamente in contemporanea uno dei due sovrascrive "turno" dopo l'altro. Quindi saltera' interamente il ciclo di blocco. Quando finisce, lancia "lascia_la_regione" attivando quindi l'altro processo.