Quando due transizioni si dicono in relazione di concorrenza? quali tipi di concorrenza esistono?

Concorrenza strutturale ⟺Pre(t1)∩Pre(t2)=∅ concorrenza effettiva in una marcatura M⟺ - M [ t1>∧M [ t2> - ∀p∈Pre(t1)∩Pre(t2)M(p)≥W(⟨p,t1⟩)+W(⟨p,t2⟩) in altre parole - M abilita sia t1 che t2. - Per ogni posto p che è pre-condizione sia di t1 che di t2, M contiene almeno il numero di token richiesto per abilitare entrambe le transizioni.