A Petri diagram modelling a mutual exclusion between two processes.