Numero indicante la precedenza di una regola di sincronizzazione rispetto a tutte le altre regole di sincronizzazione che ...