Trata-se de uma condição que deve ser cumprida para que uma transição associada à ela seja executada.